Fix: extension type, def printer class