Cleanup general

Mostly examples and formatting etc
Add property declarations
Add general principles