Esoteric types, minor language sync