Added support for lazy recursive implicit values.