Сейчас OL требует явно расставлять приведения типов. Зачем?
Честно говоря, это сильно мешает программировать.

Можно ли так, чтобы "to float"/"to int"/"to bool" надписи появлялись поверх соединительных линий, если тип входа и выхода различается?

1) Т.е. сделали GT(x, y). Тянем результат к какому-нибудь fMUL, и оно само поняло, что нужно добавить toFloat.
2) Протянули результат BOOL операции на аналоговый выход ПР -- оно показало "to float". Поменяли настройку выхода на "дискретный" -- to float пропало.

Возможность добавить to xxx вручную, конечно, нужно оставить. Но в подавляющем количестве случаев должно само определяться.