Revision 973

Fixed the 'repeated test' bug (a static pointer to a destroyed symchar was being used in type.cpp)
Improved error reporting for 'not a refined solver_var' message.
Refactors Library::listModules and Library::getModules to use shared code.
TODO: find a more efficient solution to the static pointer problem above.