Added shell record definitions for result-types.
specs and types added
Enhappying dialyzer
README.md added