(TXT) Musings on typechecking