Tsonnet #46 - The devil in the details #2

Adding missing cycle-check variants to the type checker, then replacing the entire proactive AST-walking approach with on-demand detection during translation.