enforce 0 unboxed args in inferPatternType and add UnboxedFieldPP case
so we don't forget when we do support them later