fixes in translator; conversion of instance to bounds