added some comments for the insert typecheck