Added zero overhead offset computation for first class records. Adjusted syntax and type hierarchies slightly. This is 99% final syntax.