making use of method notation for order factories
gathering used types
no more IFunction[T] types in Python code. Every generic type instantiation must referred directly
computing precisely a set of IObservable[T] to generate
computing precisely a set of Observable[T] to generate
computing precisely a set of IFunction[T] to generate
generated functional types have more readable names
removing unused partial factories
fixes for web interface