Added type normalization to Typing
Fixed typos; cleaned up type normalization rules
Added whnfs and whnfs_ty
whnf accumlates a context, but it never changes
Hint terms have magenta; fixed whnf to accumulate
Added equiv_ty function