Alpha rename

Confusing choice of variables
Simplify a function (intern')

Useless argument
Remove duplicate code
Alpha rename

Confusing choice of variables (continuation of previous commit with
the same message)
Factor is_value_form
Alpha rename

Confusing choice of variables (continuation of previous commits
with the same message)