Expression type checker is done