Allow any type in DeclareVar
Some more fixes for the alias type