necessary for type const patterns as well as generic patterns which normalize to valtrees based off associated const binding clauses

unclear if this should apply to non-type consts. it would fix #106 and #89 or atleast make the implementation simpler