Ctrl+P and ChangeSignatureRefactoring ignore implicit parameters.

[sxhya]

Consider the following code block:

\func foo (x : Nat) => x
  \where
    \func bar => x

According to new Arend rules, function bar does have argument x when invoked from outside of where-block of foo. However, some Arend subsystem seem to have no support of this language feature:

• [X] Ctrl+P feature
• [X] ChangeSignatureRefactoring feature
• [ ] MoveStaticMembers feature

The exact arguments of bar can be calculated using the function Definition.getParametersOriginalDefinitions

[sxhya]

Partially addressed in a2820454eda43aebda4ec678640045b1a9fd45c2

[sxhya]

Fixed in 6f5c1290d2cfdeb22a5e7eac87c5cafb3e8eb498