adapt to firm Alloc changes
add constructor for type alignment symconst nodes
allow specification of moduloShift for reference modes
fix warning