Added doc/check rules and main module documentation