Annotations
data Annotation
data AnnTarget name
type CoreAnnTarget
getAnnTargetName_maybe
data AnnEnv
mkAnnEnv
extendAnnEnvList
plusAnnEnv
emptyAnnEnv
findAnns
deserializeAnns