adding support for infinite types. Still some problems with real types