Initial, incomplete support for typesafe macros without using function