Remove native checks and improve typespecs