nl

Fix: fixed typechecking for {} operator used on records

dead code removed

Fix: {} operator typechecking for records

Hash {} operator

push operator