Implemented expression type checking

And started on statement type checking