move mcall docs to correct place, and improve them
refactor: lift do_mcall casing to head
refactor: simplify