asm-llvm: More type-checking work; functions get types now.