Generics work now (at least for interpreter)