unique name for formulae
Merge pull request #6 from EdmonL/uniquename

unique name for formulae, fixes #5