Update documentation
Ensure that type signatures are right associative

Fix #26
Refactor property handling and add newlines for readability
Print property get and set at the same time