Fix for Ternary.forall
Separate IsUnbound from IsUnknown *internally*