Fix storage type constants.  Add ExecutionTrace class for debugging