adds GetService<T>(string) for contract resolution
adds function test and simple function framework.
adds simple type system
adds equal function test and supporting code