Partition type hierarchy and disallow unions across different concrete types

[rossberg]

• disallow non-parametric pattern matches
• to enable overlapping heap representations and serialisation reps

[nomeata]

Now at https://dfinity.atlassian.net/browse/AST-37