First step on Mars: simple tree typechecking using created context