add MethodResult spec
add super type