! Add variance markers to rule type aliases
= Move and rename two test
! Fix result type of certain reduction rules not computed correctly, fixes #100