Aspects of type I-type II-heterotic triality in four dimensions