extension working except for some complicated cases (12x, 13x)

test suffices legend: 'e' (extension) means unnecessary type
abstractions and application are avoided, 's' means the test uses
shadowing