WIP: Push towards method resolution (not fully defined)