Envelopes of holomorphy and extension of functions of bounded type