* Generator erlang-proper
Used to generate PropEr generators for property-based testing
* Rearrange *_statem.erl functions and remove *_statem.hrl
* Optional weight function
* Optional argument to override generated values
* Export function with arity 1
* Move syntactic sugar to header file
* Only provide body when its allowed
* The weight function should not depend on the state
