typing is conducted under withNewTopLevel