Add type spec for fun funprog:compose/1