DBTypes typechecks