Finished implementing the Bimap tests.
Added (but commented out) the StructuredFormatDisplay to our custom collections types; they'll be implemented at some later time.
Stubbed a test case for Map.inverse so we don't forget to implement it.