Aims for defmacro style macros, with the type system guaranteeing hygiene and binding-safety. - View it on GitHub