if else if -> switch (Fix)
delta and fixnum
move check_known2_pred
optimizer: add types for propagable expressions

Currently the optimizer remembers the type of local variables,
but not when they are propagable (for example (lambda ...)).

Remember also the type of these variable,
in case they are used without propagation