[ fix #3083 ] Fix record update with implicit args

[Alex1005a]

Description

This PR fix #3083.
Now update of record leaves a hole only for implicit type variable.
Moreover, would it be correct to have a different behavior for auto arguments to make the following code correct?

record WithShow (ty : Type) where
  constructor MkWS
  {auto hasShow : Show ty}
  name : ty

foo : WithShow ty -> WithShow String
foo ws = { name := "meh" } ws

[Alex1005a]

Why is the first argument needed in the getRecordType function?