Now passing type constraint objects everywhere that sentinels were previously expected.