Added future work section to evaluation/typechecking