#6 type tests & parser tests