Implement while as operative
Export letrec
cell, ref, ++, --