Rename finfer, disassemble, and methods(function,types)

These functions are not well-named. I think these new names are an improvement, but I'm open to suggestions.

* finfer -> typeinferredast
* methods(function, types) -> loweredast
* disassemble(function, types, true) -> nativeassembly
* disassemble(function, types, false) -> llvmir