Translate value-recursive functions to functions with just a letrec
Also show debug messages for testbench generation
Also do TB generation for Idris types
Fix bug in generated types.vhdl