Use separate-by and avoid having paths containing double slashes
Working (but ugly) type check for overloaded arrows.
Minor warning message tweak.
Improve checking for overloaded arrows and implement checking in relation premises over overloaded arrows.
A little bit of cleaning
Some cleanup, renaming of analysis modules.
Add checks and warning for unused variables.
Simplify error message
Split transformations in menu
Add support for merging on type cast premise
Change type coercion error into a warning and store the refined type anyway.
Fuse sections always
Fix incorrect merging of normal and all-fail rules.
Sort rules by lhs constructor name.
Workaround syntactic ambiguity when rule ends with all-fail and next starts without readables.
Factorize matches and builds inside list patterns.
Allocate all wildcards on factorization
Remove context-sensitive variable renaming.
Fix an issue related to loss of origin information during analysis transformations.
Record inverse renames to pretty print the variable names when needed