ensure that slot types are defined, if not: fail
ensure that slot types are defined, if not: fail