Rename typing.sml => typing.fun