Type checker beinahe fertig