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.