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
use windows style line endings (CRLF)
do not use context in fixpoint rule (i try to only explicitly stat it when actually used)
do actually use context in case rule
update gitignore