Fix: two minor bugs related to invar variables and invar classes;
Fix: two minor bugs in DaoMake for searching and using libraries;