* Fix a bug in type inference. Internalization of recursive type constructors was broken.