Templates
The templates codes are meant as example implementations of the methods in the Templates book [2]. As such they are somewhat unsophisticated, more illustrations of the principles than optimised realisations.
