Add the notion of "constructor-like" Ids for rule-matching