Finished adding basic support for sizeof and typechecking an interesting example.