Type composition

[giann]

This is maybe to high level for buzz.

typedef number = <int, float>;

fun compare(number a, number b) > bool {
    | ...
}