Weaken preconditions (backward compatible) of bless, and "invariants" of contract function
Weaken preconditions (backward compatible) of bless, and "invariants" of contract function

TODO consider defining a subtype that is more strict, where it must be a isALocationOutsideLibrary.

This finally fixes the commonjs load error.

Toryt/contracts,Toryt/contracts,Toryt/contracts