-Add some more compile example files
-Call type checker from render.sh