added type consistency checks for expressions