Big and Small

big and small now behave correctly: a literal can be assigned to a
big or small, but in and (big or small) variables cannot be
used together