Add: tensor.choose and typed_list.make_list

This is a rebase and a completion of PR gh-1983