Fixed typos
Fixed application rule of simply typed lambda calculus
Fixed fixpoint type rule
Added missing subscript to Variant type rule
Added subtype rule for variance and renamed other rules properly