Add `Array’ and `Map’ checking for type checker.