Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
Top and bottom types have been introduced (cf #94) but they are tied together: you cannot enable one while keeping the other disabled. This is unfortunate because we only really need the top type in our taxonomy, and including them both makes the taxonomy graph a lot more complicated.
Top and bottom types have been introduced (cf #94) but they are tied together: you cannot enable one while keeping the other disabled. This is unfortunate because we only really need the top type in our taxonomy, and including them both makes the taxonomy graph a lot more complicated.