support matching against arbitrary hash element keys
use the new 'match arbitrary hash element key' to restrictively verify the arguments to model()