Sat Jul 23 11:15:52 CEST 2011

Keeping types

Currently the accumulation of the dataflow graph happens for a data
type representing untyped terms.  I don't see a way to retain typing

Does this matter?

Is it possible to keep typing information for a different class,
i.e. define a dummy returnN for Num classes, such that a stricter
discipline is followed in the non-shared case, but flattening happens
for the shared case?

Is it possible to record types dynamically?
Is it necessary?  (Maybe typed primitives is enough.)