Change the style of the comments
Move the dependent composition to Overture.v
Rename "bitot" as "bitotal"
Move is_mono_isinj to minus1Trunc.v