TODO Cleanup with hlint and ghc -Wall Implement rewriting of code that use the super keyword Write an improved scope-oriented typer