Add map access and tuple access checking for type checker.