Initialized extensible_rows2 from extensible_rows.
Use maps to represent record expressions/types (partial refactoring).
Fixed type inference.