Module S_with_types.Boolean_Forward