for monomorphism in let expressions: variables are binded to their contexts (context=VariableDeclaration)