Get Idris -> CLaSH conversion in a state to compile the dot-product