Add ability to infer Nullity
But that doesn't actually work
Not 100% what changed