Started writing documentation. InternalTypes.hsc and Context.hsc roughly completed.