removed basic type checking from grammar due to ambiguities of expressions on two identifiers