> Reference Counting with cycle detection at exit, 95% of reference count ops removed at compile time thanks to lifetime analysis.

This is really clever. Why don't more languages do this? Also, is this the same analysis that does type checking? And does this technique make it unbearably slow?