ACK stupid bug in unification. If it only weren't so fucking hard to just print some textual representation of these data structures out I think I would be making progress much faster.