added some infix operators to SFact put name peramiter to Lift and LiftF as the first argument