Added documentation and tuple unit checking. Began this process for type checking.