I suppose we could do > and < comparison of types in template parameters and is expressions. Which could be hierarchy based instead of implicit conversions. I would need to double check it, but ok I can ditch the : in favor of > here.