figured out lexical and dynamic time abstractions, gc is 90% written.