Updated type specs, testcase for failing precommit.