Added support for typechecking sizeof/alignof/vecstep expressions.
Also added test for the sizeof case.