Added Fractional instance. Made some constructor one-expr only.