Missed update to parse.xwam
Added import of once/1 as needed for answer subsumption transformation.
Fix bug that prevented loading a real file named "user"
Increased precision of printing (in write_canonical) of 64-bit floats.
Changed long to int, so it will be 32-bits for both MSVC and GCC 64-bits.
Change to allow forest logging at different levels.
Changes to allow forest logging at different levels.
Updated version in vol 2.
updated version number in manual.
test of commit.