Added some more information to error-reportin in handleDef