Fix reg types.
Set reg state to constant if WHNF.
Move the addition of computations later.
Move creation of computation to performance of operation.
There should be a computation if there is a result.