Improved development environment with Input.txt and Source.hls, fixed solver bug, fixed goal priorities in FromIntegerTerm and FromStringTerm