Revert "Don't assume a bound TyVar always points to an unconstrained meta"
Revert "Don't assume a bound TyVar always points to an unconstrained meta"

This reverts commit 5aa21c6c174c05715afb7b1f63fc318024e1d326.

Zoetermeer/latro