support matching arbitrary metatypes

[nrc]

As well as ident, etc., we could support anyt type which implements Parse. Would require some design work, I think