Support for 'TypeIs' added, compiles fine
TypeIs working, test framework added for testing Templates