add dwarf type info for functions; fix operator.ml