Added parallel substitution
Added whnf and normalForm