transforms/lower_units: support empty list
py2llvm: support type merge with empty list
examples: use new features