Make both `TypeAnnotation` and `VarAnnotation` classes available

Closes #87