Remove ReadDataProperty and ReadRecordProperty expressions #52
Description
Need to think of a more general way of replacing them. Possibly with a function defined in the prelude as long as there is type support for things like a type that extends a record.
For example, the prelude could have:
let . = implicit Property record property value -> record -> property -> value #{...}
where Property is a type class that would define the operation on a particular record using a property as a symbol and value would be the result type. In this example record could be anything that has a <property> field. Downside of this approach is how to represent property as it needs to be a symbol...
ReadDataProperty could possibly be removed and we could just use destructuring to extract the values of it. The ReadDataProperty expression would still exist lower in the AST as it would be needed for the backends but not during typing.