Efficient Multimethods in a Single Dispatch Language