Make hlint happy
Tidying up
Pretty-print the intent of user-stated properties