Reorder definitions
Relax reqs for meta variables inside literals