[Eva] In abstract domains, uses [variable_kind] instead of [init_kind].

In the function [initialize_variable_using_type].
Adds a constructor [Return] to [variable_kind] for the special variable that
stores the return value of a function call.