Don't panic when `Expr.Hole` holds bad things

[HoshinoTented]

For now, Aya will interrupt the compilation when the expression in Expr.Hole fails to resolve. However, this is acceptable when Aya is used for lsp or literate, as some information provided by tyck is useful.