Improved error type with position annotation