Added Fractional operations to core language.

Also created UnOp in first-order representations for representing unary
operators.