Investigate first class contract features which are no longer being used

[kevaundray]

Problem

We were previously looking to have first class support for contracts, now that this has changed, we should remove these from the compiler

Happy Case

.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[kevaundray]

#3580 is one example of this

[kevaundray]

Grepping for is_contract should give an incling

[kevaundray]

We also supported the Map type in globals inside of contracts which I believe is not being used either

[jfecher]

Are we removing contracts entirely? is_contract is used on a module to flag that the contents of that module are part of a contract defined by the module's name.