Improve depth-cutoff for printing HsSyn in error messages