p3: use foldl as example
remove excess show
preliminary type checking of record projection

Typecheck expressions of the form <expr>.<identifier>

- if <expr> is already a record, check if it has the requested field and
  unify the field type with sigma
- if <expr> is not yet a record, unify it's type with the singleton
  record { <identifier> : sigma }