class desugaring is done right after building name tables