TCO not working in real programs. GC probably neither. Just closures.
actually move the Object type to the example file, too
usage documentation