Implemented VarOrBareVariantPattern visitor, binds vars in match
Made format() functions const, because they should be