Parse subst in syntax-0

This will probably not be very useful in general.
Unparse subst in syntax-0

Variables pending substitution are currently given names as if they are
unbound.
Allow fine-grained subst interaction