Multiple changes

- Moved some lib functions into separate files.
- Removed the previously deprecated HardwiredTupleProgram class.