Show types of type errors in hole results

For some reason has anim problems when picking the result