Start on Idris -> CLaSH transformer