semantic: Dereference StorageTypes when checking MI.
semantic: Let anything implicitly become scope.
test: Update passing on types 8, reflecting new behaviour of scope.