Gaiwan: a Size-Polymorphic Typesystem for GPU Programs