untyped macros enable textual abstraction in pattern matching

/cc @eed3si9n