first steps to the expr/stmt unification