Tue Dec 2 11:49:17 EST 2014
So there is a problem. Because of the implicit nature of state, I've
opted to use an ad-hoc typing method. However this seems to make
it impossible to express certain constraints.
Currently still lacking insight to tackle this.
E.g. I want to express that a base type is Int, while it might be
eventually typed as a grid.
This seemingly needs some more infrastructure in the unification.
I.e. some dormant annotation that kicks in when the recursive
unification makes it to the leaf nodes of the type graph.