finished types chapter