Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic