fix stripTypeVar to handle AnnotatedType transparently
fix dealias to handle AnnotatedTypes transparently
add stripAnnots method to Type to unwrap AnnotatedTypes
handle AnnotatedTypes transparently in Tree.denot
Merge pull request #284 from olhotak/pr-annotatedtypes

fixes to handle AnnotatedTypes transparently like the types that they wrap