compiler. Replaced validation with generic errors, #237.
pdef.lang. Split types and definitions, #237.