Update Schema documentation
Remove empty where and unused extension
Add enum combinator
Re-export unbounded and unboundedLength from combinators since they are combinators but needed in the Types module.