Added rudiments for expression type system.