This is awesome! Once it’s merged I suppose we can finally remove the “feature” that allows rebinding constant variables 
@lewis: the typeconst name would not be appropriate, as explained here: Const variables - #13 by Henrique_Becker . It gives the wrong idea that it’s OK to change the value of a const integer for example.