adjustments to changed llvm-general ast

LocalReference and GlobalReference have a Type field associeated now.
allow reuse of variable names

implemented a variant of the algorithm described in "Simple and
Efficient Construction of Static Single Assignment Form"
remove OperandList and TypeList (no longer necessary)