For now this will just check the types of MapImpl arguments. In the future we can check the input and output of map types in Pipelines.