Tsonnet #47 - The devil in the details #3

Making the type checker manifest every lazy type so cycles can't slip through to the interpreter.