Now onto type checking. Btw there is some error in the code that eclipse
is yelling at me for but I don't know where it is.