expandScalExp look (RelExp relop x) = RelExp relop $ expandScalExp look x
expandScalExp look (RelExp relop x) = RelExp relop $ expandScalExp look x
expandScalExp look (RelExp relop x) = RelExp relop $ expandScalExp look x