Fixed several type errors in teets.