Publishing release 0.17.0-alpha-14
Changed type names to backslash version
Fixed some technical debt
-- aligned modifiers with JML -- immutable
-- cleaned up feasibility checking and proof splitting and language variants
-- fixed bugs in naming conflicts