Started working on type checking expressions.