MAJ does not require explicit disambiguation of quotation and anti-quotations used for code templates. MAJ also supports an infer
keyword for inferring the type of a variable from its initializer.
* Website: http://www.cc.gatech.edu/maj/
-- MartinBravenboer - 08 May 2005