use frame type rather than the indexed construct

lib/typed/method_compiler/assignment.rb

@@ -25,7 +25,7 @@ module Typed
       # TODO, check type  @method.locals[index].type
       named_list = use_reg(:NamedList)
       add_code Register.get_slot(statement , :message , :named_list , named_list )
-      return Register.set_slot(statement , value , named_list , Parfait::NamedList.get_indexed(index) )
+      return Register.set_slot(statement , value , named_list , index )
     end
   end
 end

lib/typed/method_compiler/name_expression.rb

@@ -29,7 +29,7 @@ module Typed
         named_list = use_reg :NamedList
         add_code Register.get_slot(statement , :message , :named_list , named_list )
         ret = use_reg @method.locals_type( index )
-        add_code Register.get_slot(statement , named_list , Parfait::NamedList.get_indexed(index), ret )
+        add_code Register.get_slot(statement , named_list , index, ret )
         return ret
       end
 

lib/typed/parfait/named_list.rb

@@ -23,8 +23,5 @@ module Parfait
   class NamedList < Object
     attribute :next_list
 
-    include Indexed
-    self.offset(2)  # 1 == the next_list attributes above + type. (indexed_length gets added)
-
   end
 end

test/typed/statements/test_assign.rb

@@ -48,7 +48,7 @@ class TestAssignStatement < MiniTest::Test
     was = check
     get = was.next(5)
     assert_equal GetSlot , get.class
-    assert_equal 4, get.index , "Get to named_list index must be offset, not #{get.index}"
+    assert_equal 1, get.index , "Get to named_list index must be offset, not #{get.index}"
   end
 
   def test_assign_int
@@ -58,7 +58,7 @@ class TestAssignStatement < MiniTest::Test
     was = check
     set = was.next(3)
     assert_equal SetSlot , set.class
-    assert_equal 4, set.index , "Set to named_list index must be offset, not #{set.index}"
+    assert_equal 1, set.index , "Set to named_list index must be offset, not #{set.index}"
   end
 
   def test_assign_arg