On differential operators over a map, thick morphisms of supermanifolds, and symplectic micromorphisms Article (Faculty180)