Function parse_annotations

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