update todo
Finish porting types.d