More typespecs improvements