Middlware/interceptor for compat checker

[emil14]

Let's f1 takes f32. Why can't we pass f64 with implicit cast? The reason is, among other possible issues, is how compatibility checker is implemented. Giving two base types like f32 and f64 it will simply compare their names and conclude that they are not the same. But the case we are talking about is specific (even thought the same happen with int, uint, (complex?) numbers). Possible solution is to introduce some sort of hook that could be used in way of "call me before make the decision".

Another problem of that could be the problem of actual type-casting. Is must be done via FBP componentns and it's not clear how to introduce such trick.