Followup: alloy-0.11

[maorleger]

Once #7017 is merged, go back and implement the ability to pass arbitraty function arguments to the interface method. This may need to be plumbed through.

Also ensure we can get the name property in the case that type is not available

Finally, add doc-comments where applicable