alf-core 0.14.0 → 0.15.0

data/spec/unit/alf-types/tuple_expression/test_to_ruby_literal.rb

@@ -2,11 +2,6 @@ require 'spec_helper'
 module Alf
   describe TupleExpression, 'to_ruby_literal' do
 
-    it 'should work when code is known' do
-      expr = TupleExpression["status > 10"]
-      expr.to_ruby_literal.should eq('Alf::TupleExpression["status > 10"]')
-    end
-
     it 'should raise a NotImplementedError if no source code' do
       expr = TupleExpression[lambda{status > 10}]
       lambda{ expr.to_ruby_literal }.should raise_error(NotImplementedError)

data/spec/unit/alf-update/deleter/{test_var_ref.rb → test_identifier.rb}

@@ -1,7 +1,7 @@
 require 'update_helper'
 module Alf
   module Update
-    describe Deleter, 'var_ref' do
+    describe Deleter, 'identifier' do
 
       let(:expr)     { suppliers            }
       let(:inserted) { [ {:id => 1} ]       }

data/spec/unit/alf-update/inserter/{test_var_ref.rb → test_identifier.rb}

@@ -1,7 +1,7 @@
 require 'update_helper'
 module Alf
   module Update
-    describe Inserter, 'var_ref' do
+    describe Inserter, 'identifier' do
 
       let(:expr)     { suppliers          }
       let(:inserted) { [ {:id => 1} ]     }

data/spec/unit/alf-update/updater/{test_var_ref.rb → test_identifier.rb}

@@ -1,7 +1,7 @@
 require 'update_helper'
 module Alf
   module Update
-    describe Updater, 'var_ref' do
+    describe Updater, 'identifier' do
 
       let(:expr)     { suppliers            }
       let(:updating) { {:city => "London"}  }

data/spec/unit/alf-viewpoint/test_native_const.rb

@@ -13,7 +13,7 @@ module Alf
     end
 
     it 'should allow being used in a Lispy' do
-      Lang::Lispy.new([subject]).parse{
+      Lang::Parser::Lispy.new([subject]).parse{
         suppliers
       }.should be_a(Algebra::Operand::Named)
     end

data/spec/update_helper.rb

@@ -39,11 +39,27 @@ module Helpers
   end
 
   def suppliers
-    Alf::Algebra.named_operand(:suppliers, db_context)
+    @suppliers ||= an_operand
+      .with_connection(db_context)
+      .with_name(:suppliers)
+      .with_heading(sid: String, name: String, status: Integer, city: String)
+      .with_keys([:sid], [:name])
+  end
+
+  def supplies
+    @supplies ||= an_operand
+      .with_connection(db_context)
+      .with_name(:supplies)
+      .with_heading(sid: String, pid: String, qty: Integer)
+      .with_keys([:sid, :pid])
   end
 
   def parts
-    Alf::Algebra.named_operand(:parts, db_context)
+    @parts ||= an_operand
+      .with_connection(db_context)
+      .with_name(:parts)
+      .with_heading(pid: String, name: String, color: String, weight: Float, city: String)
+      .with_keys([:pid])
   end
 
   def some_tuples

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: alf-core
 version: !ruby/object:Gem::Version
-  version: 0.14.0
+  version: 0.15.0
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-10-01 00:00:00.000000000 Z
+date: 2013-10-31 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rake
@@ -44,45 +44,13 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '2.14'
 - !ruby/object:Gem::Dependency
-  name: yard
-  requirement: !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: 0.8.2
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: 0.8.2
-- !ruby/object:Gem::Dependency
-  name: bluecloth
-  requirement: !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: '2.2'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: '2.2'
-- !ruby/object:Gem::Dependency
-  name: redcarpet
+  name: highline
   requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: '2.2'
+        version: '1.6'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
@@ -90,15 +58,15 @@ dependencies:
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: '2.2'
+        version: '1.6'
 - !ruby/object:Gem::Dependency
-  name: highline
+  name: ruby_cop
   requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: '1.6'
+        version: '1.0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
@@ -106,7 +74,7 @@ dependencies:
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: '1.6'
+        version: '1.0'
 - !ruby/object:Gem::Dependency
   name: myrrha
   requirement: !ruby/object:Gem::Requirement
@@ -162,7 +130,7 @@ dependencies:
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.5.1
+        version: 0.6.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
@@ -170,7 +138,7 @@ dependencies:
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.5.1
+        version: 0.6.0
 description: ! 'Alf brings the relational algebra both in Shell and in Ruby. In Shell,
   because
 
@@ -198,6 +166,7 @@ files:
 - examples/operators/compact.alf
 - examples/operators/defaults.alf
 - examples/operators/extend.alf
+- examples/operators/frame.alf
 - examples/operators/group.alf
 - examples/operators/intersect.alf
 - examples/operators/join.alf
@@ -227,217 +196,222 @@ files:
 - examples/suppliers_and_parts/parts.rash
 - examples/suppliers_and_parts/suppliers.rash
 - examples/suppliers_and_parts/supplies.rash
-- lib/alf-adapter/alf/adapter/connection/schema_cached.rb
-- lib/alf-adapter/alf/adapter/connection.rb
-- lib/alf-adapter/alf/adapter.rb
-- lib/alf-adapter-fs/alf/adapter/folder/connection.rb
-- lib/alf-adapter-fs/alf/adapter/folder.rb
-- lib/alf-adapter-fs/alf/adapter/fs.rb
-- lib/alf-aggregator/alf/aggregator/avg.rb
-- lib/alf-aggregator/alf/aggregator/collect.rb
-- lib/alf-aggregator/alf/aggregator/concat.rb
-- lib/alf-aggregator/alf/aggregator/count.rb
-- lib/alf-aggregator/alf/aggregator/max.rb
-- lib/alf-aggregator/alf/aggregator/min.rb
-- lib/alf-aggregator/alf/aggregator/stddev.rb
-- lib/alf-aggregator/alf/aggregator/sum.rb
-- lib/alf-aggregator/alf/aggregator/variance.rb
-- lib/alf-aggregator/alf/aggregator.rb
-- lib/alf-algebra/alf/algebra/operand/fake.rb
-- lib/alf-algebra/alf/algebra/operand/named.rb
-- lib/alf-algebra/alf/algebra/operand/proxy.rb
-- lib/alf-algebra/alf/algebra/operand.rb
-- lib/alf-algebra/alf/algebra/operator/autonum.rb
-- lib/alf-algebra/alf/algebra/operator/clip.rb
-- lib/alf-algebra/alf/algebra/operator/coerce.rb
-- lib/alf-algebra/alf/algebra/operator/compact.rb
-- lib/alf-algebra/alf/algebra/operator/defaults.rb
-- lib/alf-algebra/alf/algebra/operator/extend.rb
-- lib/alf-algebra/alf/algebra/operator/frame.rb
-- lib/alf-algebra/alf/algebra/operator/generator.rb
-- lib/alf-algebra/alf/algebra/operator/group.rb
-- lib/alf-algebra/alf/algebra/operator/hierarchize.rb
-- lib/alf-algebra/alf/algebra/operator/infer_heading.rb
-- lib/alf-algebra/alf/algebra/operator/intersect.rb
-- lib/alf-algebra/alf/algebra/operator/join.rb
-- lib/alf-algebra/alf/algebra/operator/matching.rb
-- lib/alf-algebra/alf/algebra/operator/minus.rb
-- lib/alf-algebra/alf/algebra/operator/not_matching.rb
-- lib/alf-algebra/alf/algebra/operator/page.rb
-- lib/alf-algebra/alf/algebra/operator/project.rb
-- lib/alf-algebra/alf/algebra/operator/quota.rb
-- lib/alf-algebra/alf/algebra/operator/rank.rb
-- lib/alf-algebra/alf/algebra/operator/rename.rb
-- lib/alf-algebra/alf/algebra/operator/restrict.rb
-- lib/alf-algebra/alf/algebra/operator/sort.rb
-- lib/alf-algebra/alf/algebra/operator/summarize.rb
-- lib/alf-algebra/alf/algebra/operator/type_safe.rb
-- lib/alf-algebra/alf/algebra/operator/ungroup.rb
-- lib/alf-algebra/alf/algebra/operator/union.rb
-- lib/alf-algebra/alf/algebra/operator/unwrap.rb
-- lib/alf-algebra/alf/algebra/operator/wrap.rb
-- lib/alf-algebra/alf/algebra/operator.rb
-- lib/alf-algebra/alf/algebra/support/binary.rb
-- lib/alf-algebra/alf/algebra/support/classification.rb
-- lib/alf-algebra/alf/algebra/support/compiler.rb
-- lib/alf-algebra/alf/algebra/support/experimental.rb
-- lib/alf-algebra/alf/algebra/support/non_relational.rb
-- lib/alf-algebra/alf/algebra/support/nullary.rb
-- lib/alf-algebra/alf/algebra/support/relational.rb
-- lib/alf-algebra/alf/algebra/support/rewriter.rb
-- lib/alf-algebra/alf/algebra/support/signature.rb
-- lib/alf-algebra/alf/algebra/support/to_dot.rb
-- lib/alf-algebra/alf/algebra/support/unary.rb
-- lib/alf-algebra/alf/algebra/support/visitor.rb
-- lib/alf-algebra/alf/algebra/support/with_ordering.rb
-- lib/alf-algebra/alf/algebra/support.rb
-- lib/alf-algebra/alf/algebra.rb
-- lib/alf-core/dsl.rb
-- lib/alf-core/errors.rb
-- lib/alf-core/ext/domain/heading_based.rb
-- lib/alf-core/ext.rb
-- lib/alf-core/facade.rb
-- lib/alf-core/loader.rb
-- lib/alf-core/version.rb
+- lib/alf/adapter/connection/schema_cached.rb
+- lib/alf/adapter/connection.rb
+- lib/alf/adapter/folder/connection.rb
+- lib/alf/adapter/folder.rb
+- lib/alf/adapter/fs.rb
+- lib/alf/adapter.rb
+- lib/alf/aggregator/avg.rb
+- lib/alf/aggregator/collect.rb
+- lib/alf/aggregator/concat.rb
+- lib/alf/aggregator/count.rb
+- lib/alf/aggregator/max.rb
+- lib/alf/aggregator/min.rb
+- lib/alf/aggregator/stddev.rb
+- lib/alf/aggregator/sum.rb
+- lib/alf/aggregator/variance.rb
+- lib/alf/aggregator.rb
+- lib/alf/algebra/operand/fake.rb
+- lib/alf/algebra/operand/named.rb
+- lib/alf/algebra/operand/proxy.rb
+- lib/alf/algebra/operand.rb
+- lib/alf/algebra/operator/autonum.rb
+- lib/alf/algebra/operator/clip.rb
+- lib/alf/algebra/operator/coerce.rb
+- lib/alf/algebra/operator/compact.rb
+- lib/alf/algebra/operator/defaults.rb
+- lib/alf/algebra/operator/extend.rb
+- lib/alf/algebra/operator/frame.rb
+- lib/alf/algebra/operator/generator.rb
+- lib/alf/algebra/operator/group.rb
+- lib/alf/algebra/operator/hierarchize.rb
+- lib/alf/algebra/operator/intersect.rb
+- lib/alf/algebra/operator/join.rb
+- lib/alf/algebra/operator/matching.rb
+- lib/alf/algebra/operator/minus.rb
+- lib/alf/algebra/operator/not_matching.rb
+- lib/alf/algebra/operator/page.rb
+- lib/alf/algebra/operator/project.rb
+- lib/alf/algebra/operator/quota.rb
+- lib/alf/algebra/operator/rank.rb
+- lib/alf/algebra/operator/rename.rb
+- lib/alf/algebra/operator/restrict.rb
+- lib/alf/algebra/operator/sort.rb
+- lib/alf/algebra/operator/summarize.rb
+- lib/alf/algebra/operator/ungroup.rb
+- lib/alf/algebra/operator/union.rb
+- lib/alf/algebra/operator/unwrap.rb
+- lib/alf/algebra/operator/wrap.rb
+- lib/alf/algebra/operator.rb
+- lib/alf/algebra/shortcut/allbut.rb
+- lib/alf/algebra/shortcut.rb
+- lib/alf/algebra/support/binary.rb
+- lib/alf/algebra/support/classification.rb
+- lib/alf/algebra/support/compiler.rb
+- lib/alf/algebra/support/experimental.rb
+- lib/alf/algebra/support/non_relational.rb
+- lib/alf/algebra/support/nullary.rb
+- lib/alf/algebra/support/relational.rb
+- lib/alf/algebra/support/rewriter.rb
+- lib/alf/algebra/support/signature.rb
+- lib/alf/algebra/support/type_check.rb
+- lib/alf/algebra/support/unary.rb
+- lib/alf/algebra/support/visitor.rb
+- lib/alf/algebra/support/with_ordering.rb
+- lib/alf/algebra/support.rb
+- lib/alf/algebra.rb
+- lib/alf/compiler/cog.rb
+- lib/alf/compiler/default.rb
+- lib/alf/compiler/plan.rb
+- lib/alf/compiler.rb
+- lib/alf/core/loader.rb
+- lib/alf/core/version.rb
+- lib/alf/database/connection.rb
+- lib/alf/database/options.rb
+- lib/alf/database.rb
+- lib/alf/dsl.rb
+- lib/alf/engine/aggregate.rb
+- lib/alf/engine/autonum.rb
+- lib/alf/engine/clip.rb
+- lib/alf/engine/coerce.rb
+- lib/alf/engine/cog.rb
+- lib/alf/engine/compact/set.rb
+- lib/alf/engine/compact/uniq.rb
+- lib/alf/engine/compact.rb
+- lib/alf/engine/concat.rb
+- lib/alf/engine/defaults.rb
+- lib/alf/engine/filter.rb
+- lib/alf/engine/generator.rb
+- lib/alf/engine/group/hash.rb
+- lib/alf/engine/group.rb
+- lib/alf/engine/hierarchize.rb
+- lib/alf/engine/infer_heading.rb
+- lib/alf/engine/join/hash.rb
+- lib/alf/engine/join.rb
+- lib/alf/engine/leaf.rb
+- lib/alf/engine/materialize/array.rb
+- lib/alf/engine/materialize/hash.rb
+- lib/alf/engine/materialize.rb
+- lib/alf/engine/quota/cesure.rb
+- lib/alf/engine/quota.rb
+- lib/alf/engine/rank/cesure.rb
+- lib/alf/engine/rank.rb
+- lib/alf/engine/rename.rb
+- lib/alf/engine/semi/hash.rb
+- lib/alf/engine/semi.rb
+- lib/alf/engine/set_attr.rb
+- lib/alf/engine/sort/in_memory.rb
+- lib/alf/engine/sort.rb
+- lib/alf/engine/summarize/cesure.rb
+- lib/alf/engine/summarize/hash.rb
+- lib/alf/engine/summarize.rb
+- lib/alf/engine/support/cesure.rb
+- lib/alf/engine/take.rb
+- lib/alf/engine/to_array.rb
+- lib/alf/engine/type_safe.rb
+- lib/alf/engine/ungroup.rb
+- lib/alf/engine/unwrap.rb
+- lib/alf/engine/wrap.rb
+- lib/alf/engine.rb
+- lib/alf/errors.rb
+- lib/alf/ext/domain/heading_based.rb
+- lib/alf/ext.rb
+- lib/alf/facade.rb
+- lib/alf/lang/functional.rb
+- lib/alf/lang/object_oriented.rb
+- lib/alf/lang/oo/aggregation_methods.rb
+- lib/alf/lang/oo/algebra_methods.rb
+- lib/alf/lang/oo/rendering_methods.rb
+- lib/alf/lang/parser/lispy.rb
+- lib/alf/lang/parser/safer.rb
+- lib/alf/lang/parser.rb
+- lib/alf/lang/predicates.rb
+- lib/alf/lang.rb
+- lib/alf/optimizer/project.rb
+- lib/alf/optimizer/restrict.rb
+- lib/alf/optimizer.rb
+- lib/alf/predicate/factory.rb
+- lib/alf/predicate/grammar.rb
+- lib/alf/predicate/grammar.sexp.yml
+- lib/alf/predicate/nodes/and.rb
+- lib/alf/predicate/nodes/contradiction.rb
+- lib/alf/predicate/nodes/dyadic_comp.rb
+- lib/alf/predicate/nodes/eq.rb
+- lib/alf/predicate/nodes/expr.rb
+- lib/alf/predicate/nodes/gt.rb
+- lib/alf/predicate/nodes/gte.rb
+- lib/alf/predicate/nodes/identifier.rb
+- lib/alf/predicate/nodes/in.rb
+- lib/alf/predicate/nodes/literal.rb
+- lib/alf/predicate/nodes/lt.rb
+- lib/alf/predicate/nodes/lte.rb
+- lib/alf/predicate/nodes/nadic_bool.rb
+- lib/alf/predicate/nodes/native.rb
+- lib/alf/predicate/nodes/neq.rb
+- lib/alf/predicate/nodes/not.rb
+- lib/alf/predicate/nodes/or.rb
+- lib/alf/predicate/nodes/qualified_identifier.rb
+- lib/alf/predicate/nodes/tautology.rb
+- lib/alf/predicate/processors/qualifier.rb
+- lib/alf/predicate/processors/renamer.rb
+- lib/alf/predicate/processors/to_ruby_code.rb
+- lib/alf/predicate/processors.rb
+- lib/alf/predicate.rb
+- lib/alf/reader/csv.rb
+- lib/alf/reader/json.rb
+- lib/alf/reader/rash.rb
+- lib/alf/reader/ruby.rb
+- lib/alf/reader/yaml.rb
+- lib/alf/reader.rb
+- lib/alf/relation.rb
+- lib/alf/relvar/base.rb
+- lib/alf/relvar/fake.rb
+- lib/alf/relvar/read_only.rb
+- lib/alf/relvar/virtual.rb
+- lib/alf/relvar.rb
+- lib/alf/renderer/csv.rb
+- lib/alf/renderer/json.rb
+- lib/alf/renderer/rash.rb
+- lib/alf/renderer/text.rb
+- lib/alf/renderer/yaml.rb
+- lib/alf/renderer.rb
+- lib/alf/support/coerce.rb
+- lib/alf/support/config.rb
+- lib/alf/support/csv_utils.rb
+- lib/alf/support/dot_utils.rb
+- lib/alf/support/miscellaneous.rb
+- lib/alf/support/ordered_set.rb
+- lib/alf/support/registry.rb
+- lib/alf/support/scope.rb
+- lib/alf/support/to_lispy.rb
+- lib/alf/support/to_ruby_literal.rb
+- lib/alf/support/tree.rb
+- lib/alf/support/tuple_scope.rb
+- lib/alf/support.rb
+- lib/alf/tuple.rb
+- lib/alf/types/attr_list.rb
+- lib/alf/types/attr_name.rb
+- lib/alf/types/boolean.rb
+- lib/alf/types/heading.rb
+- lib/alf/types/keys.rb
+- lib/alf/types/ordering.rb
+- lib/alf/types/renaming.rb
+- lib/alf/types/selection.rb
+- lib/alf/types/selector.rb
+- lib/alf/types/size.rb
+- lib/alf/types/summarization.rb
+- lib/alf/types/tuple_computation.rb
+- lib/alf/types/tuple_expression.rb
+- lib/alf/types/type_check.rb
+- lib/alf/types.rb
+- lib/alf/update/deleter.rb
+- lib/alf/update/inserter.rb
+- lib/alf/update/updater.rb
+- lib/alf/update.rb
+- lib/alf/viewpoint/metadata.rb
+- lib/alf/viewpoint.rb
 - lib/alf-core.rb
-- lib/alf-database/alf/database/connection.rb
-- lib/alf-database/alf/database/options.rb
-- lib/alf-database/alf/database.rb
-- lib/alf-engine/alf/engine/aggregate.rb
-- lib/alf-engine/alf/engine/autonum.rb
-- lib/alf-engine/alf/engine/clip.rb
-- lib/alf-engine/alf/engine/coerce.rb
-- lib/alf-engine/alf/engine/cog.rb
-- lib/alf-engine/alf/engine/compact/set.rb
-- lib/alf-engine/alf/engine/compact/uniq.rb
-- lib/alf-engine/alf/engine/compact.rb
-- lib/alf-engine/alf/engine/compiler.rb
-- lib/alf-engine/alf/engine/concat.rb
-- lib/alf-engine/alf/engine/defaults.rb
-- lib/alf-engine/alf/engine/filter.rb
-- lib/alf-engine/alf/engine/generator.rb
-- lib/alf-engine/alf/engine/group/hash.rb
-- lib/alf-engine/alf/engine/group.rb
-- lib/alf-engine/alf/engine/hierarchize.rb
-- lib/alf-engine/alf/engine/infer_heading.rb
-- lib/alf-engine/alf/engine/join/hash.rb
-- lib/alf-engine/alf/engine/join.rb
-- lib/alf-engine/alf/engine/leaf.rb
-- lib/alf-engine/alf/engine/materialize/array.rb
-- lib/alf-engine/alf/engine/materialize/hash.rb
-- lib/alf-engine/alf/engine/materialize.rb
-- lib/alf-engine/alf/engine/quota/cesure.rb
-- lib/alf-engine/alf/engine/quota.rb
-- lib/alf-engine/alf/engine/rank/cesure.rb
-- lib/alf-engine/alf/engine/rank.rb
-- lib/alf-engine/alf/engine/rename.rb
-- lib/alf-engine/alf/engine/semi/hash.rb
-- lib/alf-engine/alf/engine/semi.rb
-- lib/alf-engine/alf/engine/set_attr.rb
-- lib/alf-engine/alf/engine/sort/in_memory.rb
-- lib/alf-engine/alf/engine/sort.rb
-- lib/alf-engine/alf/engine/summarize/cesure.rb
-- lib/alf-engine/alf/engine/summarize/hash.rb
-- lib/alf-engine/alf/engine/summarize.rb
-- lib/alf-engine/alf/engine/support/cesure.rb
-- lib/alf-engine/alf/engine/take.rb
-- lib/alf-engine/alf/engine/to_array.rb
-- lib/alf-engine/alf/engine/to_dot.rb
-- lib/alf-engine/alf/engine/type_safe.rb
-- lib/alf-engine/alf/engine/ungroup.rb
-- lib/alf-engine/alf/engine/unwrap.rb
-- lib/alf-engine/alf/engine/wrap.rb
-- lib/alf-engine/alf/engine.rb
-- lib/alf-io/alf/io.rb
-- lib/alf-io/alf/reader/csv.rb
-- lib/alf-io/alf/reader/json.rb
-- lib/alf-io/alf/reader/rash.rb
-- lib/alf-io/alf/reader/ruby.rb
-- lib/alf-io/alf/reader.rb
-- lib/alf-io/alf/renderer/csv.rb
-- lib/alf-io/alf/renderer/json.rb
-- lib/alf-io/alf/renderer/rash.rb
-- lib/alf-io/alf/renderer/text.rb
-- lib/alf-io/alf/renderer/yaml.rb
-- lib/alf-io/alf/renderer.rb
-- lib/alf-io/alf/support/csv_utils.rb
-- lib/alf-lang/alf/lang/functional.rb
-- lib/alf-lang/alf/lang/lispy.rb
-- lib/alf-lang/alf/lang/object_oriented.rb
-- lib/alf-lang/alf/lang/oo/aggregation_methods.rb
-- lib/alf-lang/alf/lang/oo/algebra_methods.rb
-- lib/alf-lang/alf/lang/oo/rendering_methods.rb
-- lib/alf-lang/alf/lang/predicates.rb
-- lib/alf-lang/alf/lang.rb
-- lib/alf-optimizer/alf/optimizer/restrict.rb
-- lib/alf-optimizer/alf/optimizer.rb
-- lib/alf-predicate/alf/predicate/factory.rb
-- lib/alf-predicate/alf/predicate/grammar.rb
-- lib/alf-predicate/alf/predicate/grammar.sexp.yml
-- lib/alf-predicate/alf/predicate/nodes/and.rb
-- lib/alf-predicate/alf/predicate/nodes/contradiction.rb
-- lib/alf-predicate/alf/predicate/nodes/dyadic_comp.rb
-- lib/alf-predicate/alf/predicate/nodes/eq.rb
-- lib/alf-predicate/alf/predicate/nodes/expr.rb
-- lib/alf-predicate/alf/predicate/nodes/gt.rb
-- lib/alf-predicate/alf/predicate/nodes/gte.rb
-- lib/alf-predicate/alf/predicate/nodes/in.rb
-- lib/alf-predicate/alf/predicate/nodes/literal.rb
-- lib/alf-predicate/alf/predicate/nodes/lt.rb
-- lib/alf-predicate/alf/predicate/nodes/lte.rb
-- lib/alf-predicate/alf/predicate/nodes/nadic_bool.rb
-- lib/alf-predicate/alf/predicate/nodes/native.rb
-- lib/alf-predicate/alf/predicate/nodes/neq.rb
-- lib/alf-predicate/alf/predicate/nodes/not.rb
-- lib/alf-predicate/alf/predicate/nodes/or.rb
-- lib/alf-predicate/alf/predicate/nodes/tautology.rb
-- lib/alf-predicate/alf/predicate/nodes/var_ref.rb
-- lib/alf-predicate/alf/predicate/parser.rb
-- lib/alf-predicate/alf/predicate/processors/renamer.rb
-- lib/alf-predicate/alf/predicate/processors/to_proc.rb
-- lib/alf-predicate/alf/predicate/processors/to_ruby_code.rb
-- lib/alf-predicate/alf/predicate/processors.rb
-- lib/alf-predicate/alf/predicate.rb
-- lib/alf-relation/alf/relation.rb
-- lib/alf-relation/alf/tuple.rb
-- lib/alf-relvar/alf/relvar/base.rb
-- lib/alf-relvar/alf/relvar/fake.rb
-- lib/alf-relvar/alf/relvar/read_only.rb
-- lib/alf-relvar/alf/relvar/virtual.rb
-- lib/alf-relvar/alf/relvar.rb
-- lib/alf-support/alf/support/bindable.rb
-- lib/alf-support/alf/support/coerce.rb
-- lib/alf-support/alf/support/config.rb
-- lib/alf-support/alf/support/dot_utils.rb
-- lib/alf-support/alf/support/miscellaneous.rb
-- lib/alf-support/alf/support/ordered_set.rb
-- lib/alf-support/alf/support/registry.rb
-- lib/alf-support/alf/support/scope.rb
-- lib/alf-support/alf/support/to_lispy.rb
-- lib/alf-support/alf/support/to_ruby_literal.rb
-- lib/alf-support/alf/support/tuple_scope.rb
-- lib/alf-support/alf/support.rb
-- lib/alf-types/alf/types/attr_list.rb
-- lib/alf-types/alf/types/attr_name.rb
-- lib/alf-types/alf/types/boolean.rb
-- lib/alf-types/alf/types/heading.rb
-- lib/alf-types/alf/types/keys.rb
-- lib/alf-types/alf/types/ordering.rb
-- lib/alf-types/alf/types/renaming.rb
-- lib/alf-types/alf/types/selection.rb
-- lib/alf-types/alf/types/selector.rb
-- lib/alf-types/alf/types/size.rb
-- lib/alf-types/alf/types/summarization.rb
-- lib/alf-types/alf/types/tuple_computation.rb
-- lib/alf-types/alf/types/tuple_expression.rb
-- lib/alf-types/alf/types/type_check.rb
-- lib/alf-types/alf/types.rb
-- lib/alf-update/alf/update/deleter.rb
-- lib/alf-update/alf/update/inserter.rb
-- lib/alf-update/alf/update/updater.rb
-- lib/alf-update/alf/update.rb
-- lib/alf-viewpoint/alf/viewpoint/metadata.rb
-- lib/alf-viewpoint/alf/viewpoint.rb
 - tasks/clean.rake
 - tasks/gem.rake
 - tasks/gh-pages.rake
@@ -453,16 +427,15 @@ files:
 - Manifest.txt
 - README.md
 - TODO.md
+- spec/compiler_helper.rb
 - spec/integration/__database__/group.alf
 - spec/integration/__database__/parts.rash
 - spec/integration/__database__/suppliers.rash
 - spec/integration/__database__/suppliers_csv.csv
 - spec/integration/__database__/supplies.rash
-- spec/integration/algebra/test_to_dot.rb
 - spec/integration/ext/test_relation.rb
 - spec/integration/relation/test_extend.rb
 - spec/integration/relation/test_to_array.rb
-- spec/integration/relvar/test_type_safe.rb
 - spec/integration/test_alf.rb
 - spec/integration/test_examples.rb
 - spec/optimizer_helper.rb
@@ -478,6 +451,7 @@ files:
 - spec/shared/a_value.rb
 - spec/shared/an_operator_class.rb
 - spec/spec_helper.rb
+- spec/type_check_helper.rb
 - spec/unit/alf-adapter/adapter/test_factor.rb
 - spec/unit/alf-adapter/connection/schema_cached/test_delegate.rb
 - spec/unit/alf-adapter/connection/schema_cached/test_heading.rb
@@ -502,18 +476,29 @@ files:
 - spec/unit/alf-aggregator/test_stddev.rb
 - spec/unit/alf-aggregator/test_sum.rb
 - spec/unit/alf-aggregator/test_variance.rb
+- spec/unit/alf-algebra/operand/named/test_hash_and_equal.rb
 - spec/unit/alf-algebra/operand/named/test_keys.rb
+- spec/unit/alf-algebra/operand/named/test_to_ascii_tree.rb
+- spec/unit/alf-algebra/operand/named/test_to_cog.rb
 - spec/unit/alf-algebra/operand/named/test_to_relvar.rb
+- spec/unit/alf-algebra/operand/named/test_type_check.rb
+- spec/unit/alf-algebra/operand/proxy/test_to_cog.rb
 - spec/unit/alf-algebra/operand/test_coerce.rb
 - spec/unit/alf-algebra/operand/test_proxy.rb
 - spec/unit/alf-algebra/operator/allbut/test_key_preserving.rb
 - spec/unit/alf-algebra/operator/allbut/test_keys.rb
+- spec/unit/alf-algebra/operator/allbut/test_type_check.rb
 - spec/unit/alf-algebra/operator/autonum/test_heading.rb
 - spec/unit/alf-algebra/operator/autonum/test_keys.rb
+- spec/unit/alf-algebra/operator/autonum/test_type_check.rb
 - spec/unit/alf-algebra/operator/clip/test_heading.rb
 - spec/unit/alf-algebra/operator/clip/test_keys.rb
+- spec/unit/alf-algebra/operator/clip/test_type_check.rb
 - spec/unit/alf-algebra/operator/coerce/test_heading.rb
 - spec/unit/alf-algebra/operator/coerce/test_keys.rb
+- spec/unit/alf-algebra/operator/coerce/test_type_check.rb
+- spec/unit/alf-algebra/operator/commons/test_resulting_type.rb
+- spec/unit/alf-algebra/operator/commons/test_to_ascii_tree.rb
 - spec/unit/alf-algebra/operator/commons/test_with_operands.rb
 - spec/unit/alf-algebra/operator/compact/test_heading.rb
 - spec/unit/alf-algebra/operator/compact/test_keys.rb
@@ -521,38 +506,55 @@ files:
 - spec/unit/alf-algebra/operator/defaults/test_keys.rb
 - spec/unit/alf-algebra/operator/extend/test_heading.rb
 - spec/unit/alf-algebra/operator/extend/test_keys.rb
+- spec/unit/alf-algebra/operator/extend/test_type_check.rb
+- spec/unit/alf-algebra/operator/frame/test_type_check.rb
 - spec/unit/alf-algebra/operator/generator/test_heading.rb
 - spec/unit/alf-algebra/operator/generator/test_keys.rb
 - spec/unit/alf-algebra/operator/group/test_heading.rb
 - spec/unit/alf-algebra/operator/group/test_keys.rb
+- spec/unit/alf-algebra/operator/group/test_type_check.rb
 - spec/unit/alf-algebra/operator/hierarchize/test_heading.rb
-- spec/unit/alf-algebra/operator/infer_heading/test_keys.rb
+- spec/unit/alf-algebra/operator/hierarchize/test_type_check.rb
 - spec/unit/alf-algebra/operator/intersect/test_heading.rb
 - spec/unit/alf-algebra/operator/intersect/test_keys.rb
+- spec/unit/alf-algebra/operator/intersect/test_type_check.rb
 - spec/unit/alf-algebra/operator/join/test_heading.rb
 - spec/unit/alf-algebra/operator/join/test_keys.rb
+- spec/unit/alf-algebra/operator/join/test_type_check.rb
 - spec/unit/alf-algebra/operator/matching/test_heading.rb
 - spec/unit/alf-algebra/operator/matching/test_keys.rb
+- spec/unit/alf-algebra/operator/matching/test_type_check.rb
 - spec/unit/alf-algebra/operator/minus/test_heading.rb
 - spec/unit/alf-algebra/operator/minus/test_keys.rb
+- spec/unit/alf-algebra/operator/minus/test_type_check.rb
 - spec/unit/alf-algebra/operator/not_matching/test_heading.rb
 - spec/unit/alf-algebra/operator/not_matching/test_keys.rb
+- spec/unit/alf-algebra/operator/not_matching/test_type_check.rb
+- spec/unit/alf-algebra/operator/page/test_type_check.rb
 - spec/unit/alf-algebra/operator/project/test_heading.rb
 - spec/unit/alf-algebra/operator/project/test_key_preserving.rb
 - spec/unit/alf-algebra/operator/project/test_keys.rb
+- spec/unit/alf-algebra/operator/project/test_type_check.rb
 - spec/unit/alf-algebra/operator/quota/test_heading.rb
 - spec/unit/alf-algebra/operator/quota/test_keys.rb
+- spec/unit/alf-algebra/operator/quota/test_type_check.rb
 - spec/unit/alf-algebra/operator/rank/test_heading.rb
 - spec/unit/alf-algebra/operator/rank/test_keys.rb
+- spec/unit/alf-algebra/operator/rank/test_type_check.rb
 - spec/unit/alf-algebra/operator/rename/test_complete_renaming.rb
 - spec/unit/alf-algebra/operator/rename/test_heading.rb
 - spec/unit/alf-algebra/operator/rename/test_keys.rb
+- spec/unit/alf-algebra/operator/rename/test_type_check.rb
 - spec/unit/alf-algebra/operator/restrict/test_heading.rb
 - spec/unit/alf-algebra/operator/restrict/test_keys.rb
+- spec/unit/alf-algebra/operator/restrict/test_type_check.rb
+- spec/unit/alf-algebra/operator/shared/test_to_cog.rb
 - spec/unit/alf-algebra/operator/sort/test_heading.rb
 - spec/unit/alf-algebra/operator/sort/test_keys.rb
+- spec/unit/alf-algebra/operator/sort/test_type_check.rb
 - spec/unit/alf-algebra/operator/summarize/test_heading.rb
 - spec/unit/alf-algebra/operator/summarize/test_keys.rb
+- spec/unit/alf-algebra/operator/summarize/test_type_check.rb
 - spec/unit/alf-algebra/operator/test_autonum.rb
 - spec/unit/alf-algebra/operator/test_clip.rb
 - spec/unit/alf-algebra/operator/test_coerce.rb
@@ -561,7 +563,7 @@ files:
 - spec/unit/alf-algebra/operator/test_extend.rb
 - spec/unit/alf-algebra/operator/test_generator.rb
 - spec/unit/alf-algebra/operator/test_group.rb
-- spec/unit/alf-algebra/operator/test_infer_heading.rb
+- spec/unit/alf-algebra/operator/test_hash_and_equal.rb
 - spec/unit/alf-algebra/operator/test_intersect.rb
 - spec/unit/alf-algebra/operator/test_join.rb
 - spec/unit/alf-algebra/operator/test_minus.rb
@@ -577,16 +579,18 @@ files:
 - spec/unit/alf-algebra/operator/test_union.rb
 - spec/unit/alf-algebra/operator/test_unwrap.rb
 - spec/unit/alf-algebra/operator/test_wrap.rb
-- spec/unit/alf-algebra/operator/type_safe/test_heading.rb
-- spec/unit/alf-algebra/operator/type_safe/test_keys.rb
 - spec/unit/alf-algebra/operator/ungroup/test_heading.rb
 - spec/unit/alf-algebra/operator/ungroup/test_keys.rb
+- spec/unit/alf-algebra/operator/ungroup/test_type_check.rb
 - spec/unit/alf-algebra/operator/union/test_heading.rb
 - spec/unit/alf-algebra/operator/union/test_keys.rb
+- spec/unit/alf-algebra/operator/union/test_type_check.rb
 - spec/unit/alf-algebra/operator/unwrap/test_heading.rb
 - spec/unit/alf-algebra/operator/unwrap/test_keys.rb
+- spec/unit/alf-algebra/operator/unwrap/test_type_check.rb
 - spec/unit/alf-algebra/operator/wrap/test_heading.rb
 - spec/unit/alf-algebra/operator/wrap/test_keys.rb
+- spec/unit/alf-algebra/operator/wrap/test_type_check.rb
 - spec/unit/alf-algebra/support/binary/test_with_left.rb
 - spec/unit/alf-algebra/support/binary/test_with_right.rb
 - spec/unit/alf-algebra/support/signature/test_collect_on.rb
@@ -601,6 +605,37 @@ files:
 - spec/unit/alf-algebra/support/with_ordering/test_total_ordering.rb
 - spec/unit/alf-algebra/test_operator.rb
 - spec/unit/alf-algebra/test_rewriter.rb
+- spec/unit/alf-compiler/default/test_allbut.rb
+- spec/unit/alf-compiler/default/test_autonum.rb
+- spec/unit/alf-compiler/default/test_clip.rb
+- spec/unit/alf-compiler/default/test_coerce.rb
+- spec/unit/alf-compiler/default/test_compact.rb
+- spec/unit/alf-compiler/default/test_completude.rb
+- spec/unit/alf-compiler/default/test_defaults.rb
+- spec/unit/alf-compiler/default/test_extend.rb
+- spec/unit/alf-compiler/default/test_frame.rb
+- spec/unit/alf-compiler/default/test_generator.rb
+- spec/unit/alf-compiler/default/test_group.rb
+- spec/unit/alf-compiler/default/test_hierarchize.rb
+- spec/unit/alf-compiler/default/test_intersect.rb
+- spec/unit/alf-compiler/default/test_join.rb
+- spec/unit/alf-compiler/default/test_matching.rb
+- spec/unit/alf-compiler/default/test_minus.rb
+- spec/unit/alf-compiler/default/test_not_matching.rb
+- spec/unit/alf-compiler/default/test_page.rb
+- spec/unit/alf-compiler/default/test_project.rb
+- spec/unit/alf-compiler/default/test_quota.rb
+- spec/unit/alf-compiler/default/test_rank.rb
+- spec/unit/alf-compiler/default/test_rename.rb
+- spec/unit/alf-compiler/default/test_restrict.rb
+- spec/unit/alf-compiler/default/test_sort.rb
+- spec/unit/alf-compiler/default/test_summarize.rb
+- spec/unit/alf-compiler/default/test_ungroup.rb
+- spec/unit/alf-compiler/default/test_union.rb
+- spec/unit/alf-compiler/default/test_unwrap.rb
+- spec/unit/alf-compiler/default/test_wrap.rb
+- spec/unit/alf-compiler/shared/compiled_examples.rb
+- spec/unit/alf-compiler/test_principle.rb
 - spec/unit/alf-core/alf/example.rash
 - spec/unit/alf-core/alf/test_connect.rb
 - spec/unit/alf-core/alf/test_database.rb
@@ -631,16 +666,14 @@ files:
 - spec/unit/alf-database/options/test_freeze.rb
 - spec/unit/alf-database/options/test_merge.rb
 - spec/unit/alf-database/options/test_new.rb
+- spec/unit/alf-database/options/test_parser.rb
 - spec/unit/alf-database/options/test_schema_cache.rb
 - spec/unit/alf-database/options/test_viewpoint.rb
 - spec/unit/alf-database/shared_examples/a_facade_on_database_options.rb
+- spec/unit/alf-engine/cog/test_to_ascii_tree.rb
 - spec/unit/alf-engine/cog/test_to_cog.rb
 - spec/unit/alf-engine/compact/test_set.rb
 - spec/unit/alf-engine/compact/test_uniq.rb
-- spec/unit/alf-engine/compiler/test_on_frame.rb
-- spec/unit/alf-engine/compiler/test_on_hierarchize.rb
-- spec/unit/alf-engine/compiler/test_on_page.rb
-- spec/unit/alf-engine/compiler/test_unsupported.rb
 - spec/unit/alf-engine/group/test_hash.rb
 - spec/unit/alf-engine/hierarchize/test_renamer.rb
 - spec/unit/alf-engine/infer_heading/test_heading.rb
@@ -682,6 +715,7 @@ files:
 - spec/unit/alf-io/reader/test_json.rb
 - spec/unit/alf-io/reader/test_rash.rb
 - spec/unit/alf-io/reader/test_ruby.rb
+- spec/unit/alf-io/reader/test_yaml.rb
 - spec/unit/alf-io/renderer/class/test_by_mime_type.rb
 - spec/unit/alf-io/renderer/test_csv.rb
 - spec/unit/alf-io/renderer/test_initialize.rb
@@ -700,15 +734,17 @@ files:
 - spec/unit/alf-lang/functional/test_aggregation.rb
 - spec/unit/alf-lang/functional/test_relation.rb
 - spec/unit/alf-lang/functional/test_tuple.rb
-- spec/unit/alf-lang/lispy/test_connection_bang.rb
-- spec/unit/alf-lang/lispy/test_parse.rb
-- spec/unit/alf-lang/lispy/test_to_s.rb
 - spec/unit/alf-lang/object_oriented/test_rendering_methods.rb
 - spec/unit/alf-lang/object_oriented/test_to_array.rb
 - spec/unit/alf-lang/object_oriented/test_to_rash.rb
 - spec/unit/alf-lang/object_oriented/test_tuple_extract.rb
+- spec/unit/alf-lang/parser/lispy/test_connection_bang.rb
+- spec/unit/alf-lang/parser/lispy/test_parse.rb
+- spec/unit/alf-lang/parser/lispy/test_to_s.rb
+- spec/unit/alf-lang/parser/safer/safe.txt
+- spec/unit/alf-lang/parser/safer/test_parse.rb
+- spec/unit/alf-lang/parser/safer/unsafe.txt
 - spec/unit/alf-lang/test_predicates.rb
-- spec/unit/alf-optimizer/optimizer/test_optimizer.rb
 - spec/unit/alf-optimizer/optimizer/test_search.rb
 - spec/unit/alf-optimizer/restrict/test_on_autonum.rb
 - spec/unit/alf-optimizer/restrict/test_on_coerce.rb
@@ -726,7 +762,6 @@ files:
 - spec/unit/alf-optimizer/test_extend.rb
 - spec/unit/alf-optimizer/test_generator.rb
 - spec/unit/alf-optimizer/test_group.rb
-- spec/unit/alf-optimizer/test_infer_heading.rb
 - spec/unit/alf-optimizer/test_intersect.rb
 - spec/unit/alf-optimizer/test_minus.rb
 - spec/unit/alf-optimizer/test_project.rb
@@ -749,6 +784,7 @@ files:
 - spec/unit/alf-predicate/factory/test_factor_predicate.rb
 - spec/unit/alf-predicate/factory/test_gt.rb
 - spec/unit/alf-predicate/factory/test_gte.rb
+- spec/unit/alf-predicate/factory/test_identifier.rb
 - spec/unit/alf-predicate/factory/test_in.rb
 - spec/unit/alf-predicate/factory/test_literal.rb
 - spec/unit/alf-predicate/factory/test_lt.rb
@@ -757,17 +793,20 @@ files:
 - spec/unit/alf-predicate/factory/test_neq.rb
 - spec/unit/alf-predicate/factory/test_not.rb
 - spec/unit/alf-predicate/factory/test_or.rb
+- spec/unit/alf-predicate/factory/test_qualified_identifier.rb
 - spec/unit/alf-predicate/factory/test_tautology.rb
-- spec/unit/alf-predicate/factory/test_var_ref.rb
 - spec/unit/alf-predicate/grammar/test_match.rb
-- spec/unit/alf-predicate/grammar/test_parse.rb
 - spec/unit/alf-predicate/grammar/test_sexpr.rb
 - spec/unit/alf-predicate/nodes/and/test_and_split.rb
 - spec/unit/alf-predicate/nodes/dyadic_comp/test_and_split.rb
+- spec/unit/alf-predicate/nodes/identifier/test_and_split.rb
+- spec/unit/alf-predicate/nodes/identifier/test_free_variables.rb
+- spec/unit/alf-predicate/nodes/identifier/test_name.rb
 - spec/unit/alf-predicate/nodes/nadic_bool/test_free_variables.rb
-- spec/unit/alf-predicate/nodes/var_ref/test_and_split.rb
-- spec/unit/alf-predicate/nodes/var_ref/test_free_variables.rb
-- spec/unit/alf-predicate/nodes/var_ref/test_var_name.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_and_split.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_free_variables.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_name.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_qualifier.rb
 - spec/unit/alf-predicate/predicate/test_and_split.rb
 - spec/unit/alf-predicate/predicate/test_bool_and.rb
 - spec/unit/alf-predicate/predicate/test_bool_not.rb
@@ -779,6 +818,7 @@ files:
 - spec/unit/alf-predicate/predicate/test_factory_methods.rb
 - spec/unit/alf-predicate/predicate/test_free_variables.rb
 - spec/unit/alf-predicate/predicate/test_hash_and_equal.rb
+- spec/unit/alf-predicate/predicate/test_qualify.rb
 - spec/unit/alf-predicate/predicate/test_rename.rb
 - spec/unit/alf-predicate/predicate/test_tautology.rb
 - spec/unit/alf-predicate/predicate/test_to_proc.rb
@@ -786,6 +826,7 @@ files:
 - spec/unit/alf-predicate/predicate/test_to_ruby_literal.rb
 - spec/unit/alf-predicate/test_predicate.rb
 - spec/unit/alf-relation/relation/class/test_coerce.rb
+- spec/unit/alf-relation/relation/class/test_dum.rb
 - spec/unit/alf-relation/relation/class/test_recursive_type.rb
 - spec/unit/alf-relation/relation/class/test_type.rb
 - spec/unit/alf-relation/relation/factored-types/test_allbut.rb
@@ -802,6 +843,7 @@ files:
 - spec/unit/alf-relation/relation/test_hash.rb
 - spec/unit/alf-relation/relation/test_heading.rb
 - spec/unit/alf-relation/relation/test_inspect.rb
+- spec/unit/alf-relation/relation/test_keys.rb
 - spec/unit/alf-relation/relation/test_relation.rb
 - spec/unit/alf-relation/relation/test_relops.rb
 - spec/unit/alf-relation/relation/test_sugar.rb
@@ -838,13 +880,13 @@ files:
 - spec/unit/alf-relvar/base/test_insert.rb
 - spec/unit/alf-relvar/base/test_keys.rb
 - spec/unit/alf-relvar/base/test_lock.rb
-- spec/unit/alf-relvar/base/test_name.rb
 - spec/unit/alf-relvar/base/test_oo_lang.rb
 - spec/unit/alf-relvar/base/test_to_cog.rb
 - spec/unit/alf-relvar/base/test_to_lispy.rb
 - spec/unit/alf-relvar/base/test_to_relvar.rb
 - spec/unit/alf-relvar/base/test_to_s.rb
 - spec/unit/alf-relvar/base/test_update.rb
+- spec/unit/alf-relvar/read_only/test_to_relation.rb
 - spec/unit/alf-relvar/read_only/test_type.rb
 - spec/unit/alf-relvar/shared/test_empty.rb
 - spec/unit/alf-relvar/shared/test_empty_bang.rb
@@ -852,7 +894,6 @@ files:
 - spec/unit/alf-relvar/shared/test_to_relation.rb
 - spec/unit/alf-relvar/shared/test_type.rb
 - spec/unit/alf-relvar/shared/test_upsert.rb
-- spec/unit/alf-relvar/virtual/test_connection.rb
 - spec/unit/alf-relvar/virtual/test_delete.rb
 - spec/unit/alf-relvar/virtual/test_expr.rb
 - spec/unit/alf-relvar/virtual/test_heading.rb
@@ -864,10 +905,6 @@ files:
 - spec/unit/alf-relvar/virtual/test_to_relvar.rb
 - spec/unit/alf-relvar/virtual/test_to_s.rb
 - spec/unit/alf-relvar/virtual/test_update.rb
-- spec/unit/alf-support/bindable/test_bind.rb
-- spec/unit/alf-support/bindable/test_bound.rb
-- spec/unit/alf-support/bindable/test_connection.rb
-- spec/unit/alf-support/bindable/test_connection_bang.rb
 - spec/unit/alf-support/config/test_dup.rb
 - spec/unit/alf-support/config/test_freeze.rb
 - spec/unit/alf-support/config/test_hash_get.rb
@@ -947,6 +984,7 @@ files:
 - spec/unit/alf-types/ordering/test_compare.rb
 - spec/unit/alf-types/ordering/test_dive.rb
 - spec/unit/alf-types/ordering/test_hash_get.rb
+- spec/unit/alf-types/ordering/test_lte.rb
 - spec/unit/alf-types/ordering/test_merge.rb
 - spec/unit/alf-types/ordering/test_reverse.rb
 - spec/unit/alf-types/ordering/test_selectors.rb
@@ -983,6 +1021,8 @@ files:
 - spec/unit/alf-types/test_tuple_computation.rb
 - spec/unit/alf-types/test_tuple_expression.rb
 - spec/unit/alf-types/tuple_computation/test_coerce.rb
+- spec/unit/alf-types/tuple_computation/test_empty.rb
+- spec/unit/alf-types/tuple_computation/test_project.rb
 - spec/unit/alf-types/tuple_computation/test_to_attr_list.rb
 - spec/unit/alf-types/tuple_computation/test_to_heading.rb
 - spec/unit/alf-types/tuple_expression/test_coerce.rb
@@ -994,13 +1034,13 @@ files:
 - spec/unit/alf-update/deleter/test_defaults.rb
 - spec/unit/alf-update/deleter/test_extend.rb
 - spec/unit/alf-update/deleter/test_group.rb
+- spec/unit/alf-update/deleter/test_identifier.rb
 - spec/unit/alf-update/deleter/test_intersect.rb
 - spec/unit/alf-update/deleter/test_project.rb
 - spec/unit/alf-update/deleter/test_rank.rb
 - spec/unit/alf-update/deleter/test_rename.rb
 - spec/unit/alf-update/deleter/test_restrict.rb
 - spec/unit/alf-update/deleter/test_sort.rb
-- spec/unit/alf-update/deleter/test_var_ref.rb
 - spec/unit/alf-update/deleter/test_wrap.rb
 - spec/unit/alf-update/inserter/test_autonum.rb
 - spec/unit/alf-update/inserter/test_clip.rb
@@ -1008,6 +1048,7 @@ files:
 - spec/unit/alf-update/inserter/test_defaults.rb
 - spec/unit/alf-update/inserter/test_extend.rb
 - spec/unit/alf-update/inserter/test_group.rb
+- spec/unit/alf-update/inserter/test_identifier.rb
 - spec/unit/alf-update/inserter/test_intersect.rb
 - spec/unit/alf-update/inserter/test_join.rb
 - spec/unit/alf-update/inserter/test_matching.rb
@@ -1018,11 +1059,9 @@ files:
 - spec/unit/alf-update/inserter/test_rename.rb
 - spec/unit/alf-update/inserter/test_restrict.rb
 - spec/unit/alf-update/inserter/test_sort.rb
-- spec/unit/alf-update/inserter/test_type_safe.rb
 - spec/unit/alf-update/inserter/test_union.rb
-- spec/unit/alf-update/inserter/test_var_ref.rb
 - spec/unit/alf-update/inserter/test_wrap.rb
-- spec/unit/alf-update/updater/test_var_ref.rb
+- spec/unit/alf-update/updater/test_identifier.rb
 - spec/unit/alf-viewpoint/metadata/test_add_members.rb
 - spec/unit/alf-viewpoint/metadata/test_all_members.rb
 - spec/unit/alf-viewpoint/metadata/test_depends.rb
@@ -1054,7 +1093,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
       segments:
       - 0
-      hash: 4082088345707548282
+      hash: -2481371904004844195
 required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
   requirements:
@@ -1068,16 +1107,15 @@ signing_key:
 specification_version: 3
 summary: Relational Algebra at your fingertips
 test_files:
+- spec/compiler_helper.rb
 - spec/integration/__database__/group.alf
 - spec/integration/__database__/parts.rash
 - spec/integration/__database__/suppliers.rash
 - spec/integration/__database__/suppliers_csv.csv
 - spec/integration/__database__/supplies.rash
-- spec/integration/algebra/test_to_dot.rb
 - spec/integration/ext/test_relation.rb
 - spec/integration/relation/test_extend.rb
 - spec/integration/relation/test_to_array.rb
-- spec/integration/relvar/test_type_safe.rb
 - spec/integration/test_alf.rb
 - spec/integration/test_examples.rb
 - spec/optimizer_helper.rb
@@ -1093,6 +1131,7 @@ test_files:
 - spec/shared/a_value.rb
 - spec/shared/an_operator_class.rb
 - spec/spec_helper.rb
+- spec/type_check_helper.rb
 - spec/unit/alf-adapter/adapter/test_factor.rb
 - spec/unit/alf-adapter/connection/schema_cached/test_delegate.rb
 - spec/unit/alf-adapter/connection/schema_cached/test_heading.rb
@@ -1117,18 +1156,29 @@ test_files:
 - spec/unit/alf-aggregator/test_stddev.rb
 - spec/unit/alf-aggregator/test_sum.rb
 - spec/unit/alf-aggregator/test_variance.rb
+- spec/unit/alf-algebra/operand/named/test_hash_and_equal.rb
 - spec/unit/alf-algebra/operand/named/test_keys.rb
+- spec/unit/alf-algebra/operand/named/test_to_ascii_tree.rb
+- spec/unit/alf-algebra/operand/named/test_to_cog.rb
 - spec/unit/alf-algebra/operand/named/test_to_relvar.rb
+- spec/unit/alf-algebra/operand/named/test_type_check.rb
+- spec/unit/alf-algebra/operand/proxy/test_to_cog.rb
 - spec/unit/alf-algebra/operand/test_coerce.rb
 - spec/unit/alf-algebra/operand/test_proxy.rb
 - spec/unit/alf-algebra/operator/allbut/test_key_preserving.rb
 - spec/unit/alf-algebra/operator/allbut/test_keys.rb
+- spec/unit/alf-algebra/operator/allbut/test_type_check.rb
 - spec/unit/alf-algebra/operator/autonum/test_heading.rb
 - spec/unit/alf-algebra/operator/autonum/test_keys.rb
+- spec/unit/alf-algebra/operator/autonum/test_type_check.rb
 - spec/unit/alf-algebra/operator/clip/test_heading.rb
 - spec/unit/alf-algebra/operator/clip/test_keys.rb
+- spec/unit/alf-algebra/operator/clip/test_type_check.rb
 - spec/unit/alf-algebra/operator/coerce/test_heading.rb
 - spec/unit/alf-algebra/operator/coerce/test_keys.rb
+- spec/unit/alf-algebra/operator/coerce/test_type_check.rb
+- spec/unit/alf-algebra/operator/commons/test_resulting_type.rb
+- spec/unit/alf-algebra/operator/commons/test_to_ascii_tree.rb
 - spec/unit/alf-algebra/operator/commons/test_with_operands.rb
 - spec/unit/alf-algebra/operator/compact/test_heading.rb
 - spec/unit/alf-algebra/operator/compact/test_keys.rb
@@ -1136,38 +1186,55 @@ test_files:
 - spec/unit/alf-algebra/operator/defaults/test_keys.rb
 - spec/unit/alf-algebra/operator/extend/test_heading.rb
 - spec/unit/alf-algebra/operator/extend/test_keys.rb
+- spec/unit/alf-algebra/operator/extend/test_type_check.rb
+- spec/unit/alf-algebra/operator/frame/test_type_check.rb
 - spec/unit/alf-algebra/operator/generator/test_heading.rb
 - spec/unit/alf-algebra/operator/generator/test_keys.rb
 - spec/unit/alf-algebra/operator/group/test_heading.rb
 - spec/unit/alf-algebra/operator/group/test_keys.rb
+- spec/unit/alf-algebra/operator/group/test_type_check.rb
 - spec/unit/alf-algebra/operator/hierarchize/test_heading.rb
-- spec/unit/alf-algebra/operator/infer_heading/test_keys.rb
+- spec/unit/alf-algebra/operator/hierarchize/test_type_check.rb
 - spec/unit/alf-algebra/operator/intersect/test_heading.rb
 - spec/unit/alf-algebra/operator/intersect/test_keys.rb
+- spec/unit/alf-algebra/operator/intersect/test_type_check.rb
 - spec/unit/alf-algebra/operator/join/test_heading.rb
 - spec/unit/alf-algebra/operator/join/test_keys.rb
+- spec/unit/alf-algebra/operator/join/test_type_check.rb
 - spec/unit/alf-algebra/operator/matching/test_heading.rb
 - spec/unit/alf-algebra/operator/matching/test_keys.rb
+- spec/unit/alf-algebra/operator/matching/test_type_check.rb
 - spec/unit/alf-algebra/operator/minus/test_heading.rb
 - spec/unit/alf-algebra/operator/minus/test_keys.rb
+- spec/unit/alf-algebra/operator/minus/test_type_check.rb
 - spec/unit/alf-algebra/operator/not_matching/test_heading.rb
 - spec/unit/alf-algebra/operator/not_matching/test_keys.rb
+- spec/unit/alf-algebra/operator/not_matching/test_type_check.rb
+- spec/unit/alf-algebra/operator/page/test_type_check.rb
 - spec/unit/alf-algebra/operator/project/test_heading.rb
 - spec/unit/alf-algebra/operator/project/test_key_preserving.rb
 - spec/unit/alf-algebra/operator/project/test_keys.rb
+- spec/unit/alf-algebra/operator/project/test_type_check.rb
 - spec/unit/alf-algebra/operator/quota/test_heading.rb
 - spec/unit/alf-algebra/operator/quota/test_keys.rb
+- spec/unit/alf-algebra/operator/quota/test_type_check.rb
 - spec/unit/alf-algebra/operator/rank/test_heading.rb
 - spec/unit/alf-algebra/operator/rank/test_keys.rb
+- spec/unit/alf-algebra/operator/rank/test_type_check.rb
 - spec/unit/alf-algebra/operator/rename/test_complete_renaming.rb
 - spec/unit/alf-algebra/operator/rename/test_heading.rb
 - spec/unit/alf-algebra/operator/rename/test_keys.rb
+- spec/unit/alf-algebra/operator/rename/test_type_check.rb
 - spec/unit/alf-algebra/operator/restrict/test_heading.rb
 - spec/unit/alf-algebra/operator/restrict/test_keys.rb
+- spec/unit/alf-algebra/operator/restrict/test_type_check.rb
+- spec/unit/alf-algebra/operator/shared/test_to_cog.rb
 - spec/unit/alf-algebra/operator/sort/test_heading.rb
 - spec/unit/alf-algebra/operator/sort/test_keys.rb
+- spec/unit/alf-algebra/operator/sort/test_type_check.rb
 - spec/unit/alf-algebra/operator/summarize/test_heading.rb
 - spec/unit/alf-algebra/operator/summarize/test_keys.rb
+- spec/unit/alf-algebra/operator/summarize/test_type_check.rb
 - spec/unit/alf-algebra/operator/test_autonum.rb
 - spec/unit/alf-algebra/operator/test_clip.rb
 - spec/unit/alf-algebra/operator/test_coerce.rb
@@ -1176,7 +1243,7 @@ test_files:
 - spec/unit/alf-algebra/operator/test_extend.rb
 - spec/unit/alf-algebra/operator/test_generator.rb
 - spec/unit/alf-algebra/operator/test_group.rb
-- spec/unit/alf-algebra/operator/test_infer_heading.rb
+- spec/unit/alf-algebra/operator/test_hash_and_equal.rb
 - spec/unit/alf-algebra/operator/test_intersect.rb
 - spec/unit/alf-algebra/operator/test_join.rb
 - spec/unit/alf-algebra/operator/test_minus.rb
@@ -1192,16 +1259,18 @@ test_files:
 - spec/unit/alf-algebra/operator/test_union.rb
 - spec/unit/alf-algebra/operator/test_unwrap.rb
 - spec/unit/alf-algebra/operator/test_wrap.rb
-- spec/unit/alf-algebra/operator/type_safe/test_heading.rb
-- spec/unit/alf-algebra/operator/type_safe/test_keys.rb
 - spec/unit/alf-algebra/operator/ungroup/test_heading.rb
 - spec/unit/alf-algebra/operator/ungroup/test_keys.rb
+- spec/unit/alf-algebra/operator/ungroup/test_type_check.rb
 - spec/unit/alf-algebra/operator/union/test_heading.rb
 - spec/unit/alf-algebra/operator/union/test_keys.rb
+- spec/unit/alf-algebra/operator/union/test_type_check.rb
 - spec/unit/alf-algebra/operator/unwrap/test_heading.rb
 - spec/unit/alf-algebra/operator/unwrap/test_keys.rb
+- spec/unit/alf-algebra/operator/unwrap/test_type_check.rb
 - spec/unit/alf-algebra/operator/wrap/test_heading.rb
 - spec/unit/alf-algebra/operator/wrap/test_keys.rb
+- spec/unit/alf-algebra/operator/wrap/test_type_check.rb
 - spec/unit/alf-algebra/support/binary/test_with_left.rb
 - spec/unit/alf-algebra/support/binary/test_with_right.rb
 - spec/unit/alf-algebra/support/signature/test_collect_on.rb
@@ -1216,6 +1285,37 @@ test_files:
 - spec/unit/alf-algebra/support/with_ordering/test_total_ordering.rb
 - spec/unit/alf-algebra/test_operator.rb
 - spec/unit/alf-algebra/test_rewriter.rb
+- spec/unit/alf-compiler/default/test_allbut.rb
+- spec/unit/alf-compiler/default/test_autonum.rb
+- spec/unit/alf-compiler/default/test_clip.rb
+- spec/unit/alf-compiler/default/test_coerce.rb
+- spec/unit/alf-compiler/default/test_compact.rb
+- spec/unit/alf-compiler/default/test_completude.rb
+- spec/unit/alf-compiler/default/test_defaults.rb
+- spec/unit/alf-compiler/default/test_extend.rb
+- spec/unit/alf-compiler/default/test_frame.rb
+- spec/unit/alf-compiler/default/test_generator.rb
+- spec/unit/alf-compiler/default/test_group.rb
+- spec/unit/alf-compiler/default/test_hierarchize.rb
+- spec/unit/alf-compiler/default/test_intersect.rb
+- spec/unit/alf-compiler/default/test_join.rb
+- spec/unit/alf-compiler/default/test_matching.rb
+- spec/unit/alf-compiler/default/test_minus.rb
+- spec/unit/alf-compiler/default/test_not_matching.rb
+- spec/unit/alf-compiler/default/test_page.rb
+- spec/unit/alf-compiler/default/test_project.rb
+- spec/unit/alf-compiler/default/test_quota.rb
+- spec/unit/alf-compiler/default/test_rank.rb
+- spec/unit/alf-compiler/default/test_rename.rb
+- spec/unit/alf-compiler/default/test_restrict.rb
+- spec/unit/alf-compiler/default/test_sort.rb
+- spec/unit/alf-compiler/default/test_summarize.rb
+- spec/unit/alf-compiler/default/test_ungroup.rb
+- spec/unit/alf-compiler/default/test_union.rb
+- spec/unit/alf-compiler/default/test_unwrap.rb
+- spec/unit/alf-compiler/default/test_wrap.rb
+- spec/unit/alf-compiler/shared/compiled_examples.rb
+- spec/unit/alf-compiler/test_principle.rb
 - spec/unit/alf-core/alf/example.rash
 - spec/unit/alf-core/alf/test_connect.rb
 - spec/unit/alf-core/alf/test_database.rb
@@ -1246,16 +1346,14 @@ test_files:
 - spec/unit/alf-database/options/test_freeze.rb
 - spec/unit/alf-database/options/test_merge.rb
 - spec/unit/alf-database/options/test_new.rb
+- spec/unit/alf-database/options/test_parser.rb
 - spec/unit/alf-database/options/test_schema_cache.rb
 - spec/unit/alf-database/options/test_viewpoint.rb
 - spec/unit/alf-database/shared_examples/a_facade_on_database_options.rb
+- spec/unit/alf-engine/cog/test_to_ascii_tree.rb
 - spec/unit/alf-engine/cog/test_to_cog.rb
 - spec/unit/alf-engine/compact/test_set.rb
 - spec/unit/alf-engine/compact/test_uniq.rb
-- spec/unit/alf-engine/compiler/test_on_frame.rb
-- spec/unit/alf-engine/compiler/test_on_hierarchize.rb
-- spec/unit/alf-engine/compiler/test_on_page.rb
-- spec/unit/alf-engine/compiler/test_unsupported.rb
 - spec/unit/alf-engine/group/test_hash.rb
 - spec/unit/alf-engine/hierarchize/test_renamer.rb
 - spec/unit/alf-engine/infer_heading/test_heading.rb
@@ -1297,6 +1395,7 @@ test_files:
 - spec/unit/alf-io/reader/test_json.rb
 - spec/unit/alf-io/reader/test_rash.rb
 - spec/unit/alf-io/reader/test_ruby.rb
+- spec/unit/alf-io/reader/test_yaml.rb
 - spec/unit/alf-io/renderer/class/test_by_mime_type.rb
 - spec/unit/alf-io/renderer/test_csv.rb
 - spec/unit/alf-io/renderer/test_initialize.rb
@@ -1315,15 +1414,17 @@ test_files:
 - spec/unit/alf-lang/functional/test_aggregation.rb
 - spec/unit/alf-lang/functional/test_relation.rb
 - spec/unit/alf-lang/functional/test_tuple.rb
-- spec/unit/alf-lang/lispy/test_connection_bang.rb
-- spec/unit/alf-lang/lispy/test_parse.rb
-- spec/unit/alf-lang/lispy/test_to_s.rb
 - spec/unit/alf-lang/object_oriented/test_rendering_methods.rb
 - spec/unit/alf-lang/object_oriented/test_to_array.rb
 - spec/unit/alf-lang/object_oriented/test_to_rash.rb
 - spec/unit/alf-lang/object_oriented/test_tuple_extract.rb
+- spec/unit/alf-lang/parser/lispy/test_connection_bang.rb
+- spec/unit/alf-lang/parser/lispy/test_parse.rb
+- spec/unit/alf-lang/parser/lispy/test_to_s.rb
+- spec/unit/alf-lang/parser/safer/safe.txt
+- spec/unit/alf-lang/parser/safer/test_parse.rb
+- spec/unit/alf-lang/parser/safer/unsafe.txt
 - spec/unit/alf-lang/test_predicates.rb
-- spec/unit/alf-optimizer/optimizer/test_optimizer.rb
 - spec/unit/alf-optimizer/optimizer/test_search.rb
 - spec/unit/alf-optimizer/restrict/test_on_autonum.rb
 - spec/unit/alf-optimizer/restrict/test_on_coerce.rb
@@ -1341,7 +1442,6 @@ test_files:
 - spec/unit/alf-optimizer/test_extend.rb
 - spec/unit/alf-optimizer/test_generator.rb
 - spec/unit/alf-optimizer/test_group.rb
-- spec/unit/alf-optimizer/test_infer_heading.rb
 - spec/unit/alf-optimizer/test_intersect.rb
 - spec/unit/alf-optimizer/test_minus.rb
 - spec/unit/alf-optimizer/test_project.rb
@@ -1364,6 +1464,7 @@ test_files:
 - spec/unit/alf-predicate/factory/test_factor_predicate.rb
 - spec/unit/alf-predicate/factory/test_gt.rb
 - spec/unit/alf-predicate/factory/test_gte.rb
+- spec/unit/alf-predicate/factory/test_identifier.rb
 - spec/unit/alf-predicate/factory/test_in.rb
 - spec/unit/alf-predicate/factory/test_literal.rb
 - spec/unit/alf-predicate/factory/test_lt.rb
@@ -1372,17 +1473,20 @@ test_files:
 - spec/unit/alf-predicate/factory/test_neq.rb
 - spec/unit/alf-predicate/factory/test_not.rb
 - spec/unit/alf-predicate/factory/test_or.rb
+- spec/unit/alf-predicate/factory/test_qualified_identifier.rb
 - spec/unit/alf-predicate/factory/test_tautology.rb
-- spec/unit/alf-predicate/factory/test_var_ref.rb
 - spec/unit/alf-predicate/grammar/test_match.rb
-- spec/unit/alf-predicate/grammar/test_parse.rb
 - spec/unit/alf-predicate/grammar/test_sexpr.rb
 - spec/unit/alf-predicate/nodes/and/test_and_split.rb
 - spec/unit/alf-predicate/nodes/dyadic_comp/test_and_split.rb
+- spec/unit/alf-predicate/nodes/identifier/test_and_split.rb
+- spec/unit/alf-predicate/nodes/identifier/test_free_variables.rb
+- spec/unit/alf-predicate/nodes/identifier/test_name.rb
 - spec/unit/alf-predicate/nodes/nadic_bool/test_free_variables.rb
-- spec/unit/alf-predicate/nodes/var_ref/test_and_split.rb
-- spec/unit/alf-predicate/nodes/var_ref/test_free_variables.rb
-- spec/unit/alf-predicate/nodes/var_ref/test_var_name.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_and_split.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_free_variables.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_name.rb
+- spec/unit/alf-predicate/nodes/qualified_identifier/test_qualifier.rb
 - spec/unit/alf-predicate/predicate/test_and_split.rb
 - spec/unit/alf-predicate/predicate/test_bool_and.rb
 - spec/unit/alf-predicate/predicate/test_bool_not.rb
@@ -1394,6 +1498,7 @@ test_files:
 - spec/unit/alf-predicate/predicate/test_factory_methods.rb
 - spec/unit/alf-predicate/predicate/test_free_variables.rb
 - spec/unit/alf-predicate/predicate/test_hash_and_equal.rb
+- spec/unit/alf-predicate/predicate/test_qualify.rb
 - spec/unit/alf-predicate/predicate/test_rename.rb
 - spec/unit/alf-predicate/predicate/test_tautology.rb
 - spec/unit/alf-predicate/predicate/test_to_proc.rb
@@ -1401,6 +1506,7 @@ test_files:
 - spec/unit/alf-predicate/predicate/test_to_ruby_literal.rb
 - spec/unit/alf-predicate/test_predicate.rb
 - spec/unit/alf-relation/relation/class/test_coerce.rb
+- spec/unit/alf-relation/relation/class/test_dum.rb
 - spec/unit/alf-relation/relation/class/test_recursive_type.rb
 - spec/unit/alf-relation/relation/class/test_type.rb
 - spec/unit/alf-relation/relation/factored-types/test_allbut.rb
@@ -1417,6 +1523,7 @@ test_files:
 - spec/unit/alf-relation/relation/test_hash.rb
 - spec/unit/alf-relation/relation/test_heading.rb
 - spec/unit/alf-relation/relation/test_inspect.rb
+- spec/unit/alf-relation/relation/test_keys.rb
 - spec/unit/alf-relation/relation/test_relation.rb
 - spec/unit/alf-relation/relation/test_relops.rb
 - spec/unit/alf-relation/relation/test_sugar.rb
@@ -1453,13 +1560,13 @@ test_files:
 - spec/unit/alf-relvar/base/test_insert.rb
 - spec/unit/alf-relvar/base/test_keys.rb
 - spec/unit/alf-relvar/base/test_lock.rb
-- spec/unit/alf-relvar/base/test_name.rb
 - spec/unit/alf-relvar/base/test_oo_lang.rb
 - spec/unit/alf-relvar/base/test_to_cog.rb
 - spec/unit/alf-relvar/base/test_to_lispy.rb
 - spec/unit/alf-relvar/base/test_to_relvar.rb
 - spec/unit/alf-relvar/base/test_to_s.rb
 - spec/unit/alf-relvar/base/test_update.rb
+- spec/unit/alf-relvar/read_only/test_to_relation.rb
 - spec/unit/alf-relvar/read_only/test_type.rb
 - spec/unit/alf-relvar/shared/test_empty.rb
 - spec/unit/alf-relvar/shared/test_empty_bang.rb
@@ -1467,7 +1574,6 @@ test_files:
 - spec/unit/alf-relvar/shared/test_to_relation.rb
 - spec/unit/alf-relvar/shared/test_type.rb
 - spec/unit/alf-relvar/shared/test_upsert.rb
-- spec/unit/alf-relvar/virtual/test_connection.rb
 - spec/unit/alf-relvar/virtual/test_delete.rb
 - spec/unit/alf-relvar/virtual/test_expr.rb
 - spec/unit/alf-relvar/virtual/test_heading.rb
@@ -1479,10 +1585,6 @@ test_files:
 - spec/unit/alf-relvar/virtual/test_to_relvar.rb
 - spec/unit/alf-relvar/virtual/test_to_s.rb
 - spec/unit/alf-relvar/virtual/test_update.rb
-- spec/unit/alf-support/bindable/test_bind.rb
-- spec/unit/alf-support/bindable/test_bound.rb
-- spec/unit/alf-support/bindable/test_connection.rb
-- spec/unit/alf-support/bindable/test_connection_bang.rb
 - spec/unit/alf-support/config/test_dup.rb
 - spec/unit/alf-support/config/test_freeze.rb
 - spec/unit/alf-support/config/test_hash_get.rb
@@ -1562,6 +1664,7 @@ test_files:
 - spec/unit/alf-types/ordering/test_compare.rb
 - spec/unit/alf-types/ordering/test_dive.rb
 - spec/unit/alf-types/ordering/test_hash_get.rb
+- spec/unit/alf-types/ordering/test_lte.rb
 - spec/unit/alf-types/ordering/test_merge.rb
 - spec/unit/alf-types/ordering/test_reverse.rb
 - spec/unit/alf-types/ordering/test_selectors.rb
@@ -1598,6 +1701,8 @@ test_files:
 - spec/unit/alf-types/test_tuple_computation.rb
 - spec/unit/alf-types/test_tuple_expression.rb
 - spec/unit/alf-types/tuple_computation/test_coerce.rb
+- spec/unit/alf-types/tuple_computation/test_empty.rb
+- spec/unit/alf-types/tuple_computation/test_project.rb
 - spec/unit/alf-types/tuple_computation/test_to_attr_list.rb
 - spec/unit/alf-types/tuple_computation/test_to_heading.rb
 - spec/unit/alf-types/tuple_expression/test_coerce.rb
@@ -1609,13 +1714,13 @@ test_files:
 - spec/unit/alf-update/deleter/test_defaults.rb
 - spec/unit/alf-update/deleter/test_extend.rb
 - spec/unit/alf-update/deleter/test_group.rb
+- spec/unit/alf-update/deleter/test_identifier.rb
 - spec/unit/alf-update/deleter/test_intersect.rb
 - spec/unit/alf-update/deleter/test_project.rb
 - spec/unit/alf-update/deleter/test_rank.rb
 - spec/unit/alf-update/deleter/test_rename.rb
 - spec/unit/alf-update/deleter/test_restrict.rb
 - spec/unit/alf-update/deleter/test_sort.rb
-- spec/unit/alf-update/deleter/test_var_ref.rb
 - spec/unit/alf-update/deleter/test_wrap.rb
 - spec/unit/alf-update/inserter/test_autonum.rb
 - spec/unit/alf-update/inserter/test_clip.rb
@@ -1623,6 +1728,7 @@ test_files:
 - spec/unit/alf-update/inserter/test_defaults.rb
 - spec/unit/alf-update/inserter/test_extend.rb
 - spec/unit/alf-update/inserter/test_group.rb
+- spec/unit/alf-update/inserter/test_identifier.rb
 - spec/unit/alf-update/inserter/test_intersect.rb
 - spec/unit/alf-update/inserter/test_join.rb
 - spec/unit/alf-update/inserter/test_matching.rb
@@ -1633,11 +1739,9 @@ test_files:
 - spec/unit/alf-update/inserter/test_rename.rb
 - spec/unit/alf-update/inserter/test_restrict.rb
 - spec/unit/alf-update/inserter/test_sort.rb
-- spec/unit/alf-update/inserter/test_type_safe.rb
 - spec/unit/alf-update/inserter/test_union.rb
-- spec/unit/alf-update/inserter/test_var_ref.rb
 - spec/unit/alf-update/inserter/test_wrap.rb
-- spec/unit/alf-update/updater/test_var_ref.rb
+- spec/unit/alf-update/updater/test_identifier.rb
 - spec/unit/alf-viewpoint/metadata/test_add_members.rb
 - spec/unit/alf-viewpoint/metadata/test_all_members.rb
 - spec/unit/alf-viewpoint/metadata/test_depends.rb