Completed Type Tools