added support for function/object contracts, which is just an and on a function contract and an object contract.

This occurs in interface syntax