More domain calls which need typechecking