Static type checking of multi-methods