• #848 - Implemented model imports (for non-static imports)
• #837 - implemented/fixed model fields for rac
• #846 - implemented separate handling and resolution for imports in .java and .jml files; fixed default specs path
• #560 - nested model classes for binary .jml files
• Fixed up conversions among \string \TYPE \real \bigint
• improved test coverage measurement and added many tests for non-covered code, with some corresponding code fixes
• partial work on checking constant folding
• partial implementation of \range as a built-in type
• lots of minor test corrections and small bug fixes
• gitbug786, gitbug786a -- some reimplementation of programmatic api
• gitbug789, gitbug814, gitbug550, gitbug843, gitbug778, gitbug778a