Bodied sub-tag and reenering caller scope.

Closes #89.
Closes #85.
Closes #59.
Closes #51.
Closes #25.