Add unit test for typeTightener.

Change-Id: Ib4094d8b9e719a96cc164785ab75f01b78a3e571