Type checking and validation at template generation time

[rjmholt]

PSArm should check templates for validity at generation time, for example attempting to validate that all elements supplied to Concat can be concatted...

Template elements and functions should ideally have a general purpose type checking override/visitor for this