Fix for SmtEngine::expandDefinitions()---improper TypeCheckingException
Better error in case of nonlinear assertions while in linear logic
minor cleanup of comments, removal of unneeded scope resolutions
minor cleanup
update copyright at top of all sources