simplify Type module