Implement dynamic borrow checking for List and Dict

[liquidev]

This is not strictly necessary right now since we don't have a Rust-like extend method for either of them, so the one mutable xor many immutable rule is not broken, but in the future we will probably want to have such a method and wouldn't want to break the rule.