added prototype for expression type checking