... if they occured as params in a previous function in the same transl unit

remove automatic nat conversion and correctly infer type before calling clean interface for annotation terms

hide parameters when reading annotation terms, so that free terms with parameters wouldnt get substituted

overwork type of function call and handle usage of identifiers from C_env and not from current translation unit

make intermediate step with abstract over, to ensure binding of free variabel "tmpvar". Also fix error where temp vars for array assignments would have the wrong value