typing extension extends evaluation extension