GitLab

gitignore updated (vim swap files and .svn dirs)
bug corrected in explicit_polymorphism for formulae translation