substitute variables as type operation
rewrite java conversions tests to work with MPS3.1.5