EPA: Introduce HasAnnotation class

The class is defined as

class HasAnnotation e where
  noAnnSrcSpan :: SrcSpan -> e

This generalises noAnnSrcSpan, and allows

noLocA :: (HasAnnotation e) => a -> GenLocated e a
noLocA = L (noAnnSrcSpan noSrcSpan)