Refactor, add amb-range

- Refactored to move all amb-related code into amb.scm
- Added an amb-range function to amb over real intervals