wip
() => term
wip
Any
simple unhygienic macro expansion
referentially transperant macro expansion