Add parsing support for more type syntax

This adds support for

 * ArrayType
 * CallSignature
 * CosntructSignature
 * ConstructorType
 * FunctionType
 * IndexSignature
 * MethodSignature
 * ObjectType
 * PropertySignature
 * TypeParameter

The only remaining type syntax left from TS 1.0 is the TypeQuery type
expression. (Interfaces and declare as well).

This does not yet add runtime asserts for any of these.