Restored behavior of set/c for flat contracts; #:kind defaults to 'immutable.
Updated tests for set/c.

Restored test for first-order check of elements when given a flat contract.
Added tests for #:kind 'mutable.