Changes
Summary
- Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
- Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
- Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)