Added an internalizing template.
Added a monoid for lexical tokens.