Building an experimental typechecker based on ongoing research is hard work, but at least it beats writing a unifier