Add Equal expression
Add typechecking