typecheck: modified occurs to first chase v
typecheck: Work on unifyv

We avoid doing a tvsub, keeping the pointers