move BI interface extensions to their own file
Currently, BI interface extensions are defined in derived_connectives.v
even though they are neither derived nor connectives. So let's put them into a separate file instead.
Edited by Ralf Jung
Currently, BI interface extensions are defined in derived_connectives.v
even though they are neither derived nor connectives. So let's put them into a separate file instead.