a*1 ->  PARAM   (rule 'x*1', the first that matches)
a*0 for an int: rule that fires: ['range is a point'] -> 0 (anything times the constant 0 has the range [0, 0], a single point)
