First attempt at adding type checker using xtext-typesystem. Some simple
rules are added, but are not used at runtime for some reason.