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

ekmett/ermine,PipocaQuemada/ermine