update stage0, map bool_I and isbig_I, add bool_I's tests

moritz++