First version of Typechecker Testing Language (TTL)

TTL is a simple specification framework to test the typechecker. Current
version is incomplete and many generated tests still fail.

Work in progress.