Updated 'Examples.Types' example.
Added simple types to the code generated in 'Macros' for datatypes.
Added datatype flattening in 'Renamer' and corresponding error message in 'Interpreter'.