overload consistency check is moved into Typer
injecting overloads for IObservable[Float]