Fix Gamma.is_subset_of
Fix β-reduction on types
Desambiguate the Alias constructor and use a more explicit name for the visibility attribute for types