Updating documentation
Adding unit tests for type checkers