df-typ