Function parse_annotations 

pub fn parse_annotations(
    defs: &[Def],
    termenv: &TermEnv,
    typeenv: &TypeEnv,
) -> AnnotationEnv