Fix letrec
Add gcipd example
Print number of states
Allow to disable gc & memo