solves issue #42

Assert this on type. You can spit an actual error if this is a template, an overload set or whatnot.