Matching is now implemented. It will probably be rewritten.