atg. better type deduction and translating, including pointers