types added to expressions w/o memory leaks