Update documentation and unit tests for the refined type checking predicate clauses for scope