Fix rounding in test
Fix type resolution for re-inferable statements
Add some docs to the preloading code in the optimize module