Some proposals for SNAP, a language with formal macro facilities