existing map M should be translated
according to a transformator T
transformer: query a map M, get M' = T * M returned
AsTMa? queries can be transformers
use transformation:
