ast and type checker added
Types updated
Just so