remove "otherwise" feature from function package which was never really documented or used

prep_full_context_statement: explicit record of flags; prep_declaration (for add_locale): disallow autofixed frees;

Limit the number of results returned by auto_solves.

merged

Merged.

In interpretation: equations are not propagated through the hierarchy automatically.

Normalise equation only for morphism, not thm stored in theory.

Default mode of qualifiers in locale commands.

Front matter updated.

tuned;