Texture now works in the openGL rendering, but the coloring is off slightly (It feels like an off-by-1 in GlTexImage.set, but testing it in the REPL gave sane output near the corners).