callumryan/type-checker archive