ExprUtil: Export pureTagType
testInferFails -> inferFailsAssertion
Oops: tagCompositeTests was broken
Add failing missing field tests