progress on Idris -> CLaSH