Redbug really easy to use and traces local calls

redbug:start("te_experiments:expand_subtype").
More sample cases, and keep polymorphic.
redbug
Can generate ocaml-like function signatures
hide ocaml temp files
testing how to write ocaml signatures