Renamed debug print methods to simply "print". Fixed a few bugs with Interpreter. Looks like we only need to add all the constraints now, since for now we can put large balls in small boxes for example.