As of now, only WHNF are correctly memoized. This should be extended to the computation of normal forms.