Simplify definition of : using DOES>.
This replaces a rather obscure implementation.