二元相图以及类型