Fix a bug in and sync prop representation printing
Tidy up Names instances
Add proving directories to .gitignore
Print property representation in the final proved list
Allow tuples in generated signatures