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[1].  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.

[1] entry://20140114-160405