DFCIR/DFCxx type system rework

[Muxianesty]

Current DFCIR/DFCxx type system doesn't fully support concepts like floating-point arithmetic, counters, memory access and many others. Its implementation is poorly implemented as well.

Further discussions required.

[Muxianesty]

At some point it is obvious this braindead approach of having custom latencies for combinational logic has to go.

• AND - Logical conjunction
• OR - Logical disjunction
• XOR - Exclusive logical disjunction
• NOT - Logical inversion