Adding declarations when saving ontologies with profile violations #112

Do not add declarations for illegal punnings. 
Do not delete declarations.
Add declarations for functional format.

Big number of changes, mostly to do with tests (renamed a couple of
methods)