型半导体