add the long-forgotten type system sanity todo