Add AAST `Hole` for subtype/coercion error annotation