realize the result when matching an expression against a refutable pattern
replace frege.List by frege.data.TreeMap