Add documentation for user-based type inference