Musings on typechecking