Expose map_dtype to users
Make sure array types are valid
Work on more user-supplied type inference capabilities