Added documentation

New sections:
 - Type Mapping
 - Prerequisites