Add documentation for deferred evaluation, augment type inference docs