This adds parameter types to ELF symbols representing functions, which slightly increases run-time type safety.