Bump
Modified type algebra and subtyping relation, introduced typechecker

Todo: parsing of types