Definition Type Class

Changed definedAt matcher to use Definition type class.