lots of changes. cps conversion. stamping. unfixed (pre) versions of recursive datatypes. dynamic time is now a list of lexical time.