Elaboration: added unification hints for constraints of the form t ?: T