Rationalise the tuple / enum types

[AltGr]

This will allow to unify with types used earlier in the pipeline (Scopelang.Ast.typ).

It seems cleaner! But some areas may warrant a later clean-up, in particular handling of options and their types in the backends, or possible name conflicts of structs/enums with built-in types when printing.