add rule (int <: float)
adapt primitive1.sfp to int-float types