Wrote basic typechecking and dummy code