Use constructor pattern matching for Definitions