parsing and type checking almost complete / working with examples