Add 'fLit' function, and simplify constraints for Fixed operators