Hyperon Wiki Extensions+MeTTaLog (Legacy)+WAM-based execution+label