Better val and this aliasing

no need to bind `ident` and `mutable`