Starting to write an unofficial documentation to make some light on Erlang QuickCheck