Define a basic Typescript compiler

Create a type compiler, a very basic version of Typescript. Define requirements and tests.