File reorganizations and changes to f->c

- f->c now returns the constraint rather than an instance of it
- Quotient and Difference are constructed by f->c now
- LeftOf has been similarly reinstated