Add negative typeCheck tests for anyvals wideners

Also added wideners from Pos* types to bigger Pos types.