Merge pull request #411 from dfinity/ggreif/update-moc-0.7.0

[fury02]

Update moc to 0.7.0

The put; delete functions do not work; (TrieSet) I made a correction by referring directly to the Trie. Look maybe these are all the fixes that are needed

[dfinity-droid-prod[bot]]

Dear @fury02,

In order to potentially merge your code in this open-source repository and therefore proceed with your contribution, we need to have your approval on DFINITY's CLA[^1].

If you decide to agree with it, please visit this issue and read the instructions there.

— The DFINITY Foundation [^1]: Contributor License Agreement

[fury02]

I'm sorry, checking fixed it The generic type 'T' must be defined by the type at the time of use Fixed for the version that is being compiled.

Using (T -> type Nat)

my_trie_set := TrieSet.put<Nat>(my_trie_set, 1, Nat.hash, Nat.equal)