Reogranized following the example of given modules

Attribute grammars are hidden internally and there is an unique entry point
to the outer example (Type.hs for type-checking, Diag.hs, Picture.hs)