型環境