Version 0.7.0 (07-02-2020) Features: - Enable `--type-checker` by default (#721) - Rework the termination checker to infer measures for recursive functions (#721) Improvements: - Relax mutual recursion check for functions/ADTs enough for TypeEncoding (#721) - Add `List#toScala` and `List.fromScala` to the library (#708) - Add methods `map`, `withFilter`, `toList`, and `toScala` to `Set` (#708) - Add methods `keys`, `values`, `toList` and `toScala` to `Map` (#708) Bug fixes: - Add missing position in `FieldAccessors` phase (#734) - Fix extraction of extern types with Dotty frontend (#708)