add array specification for keyTypeof and add tests for this