Good progress, mostly works except for tuple3