Add tracing and lazy datatypes.