write explicit enclave function

[ShapeOfMatter]

We can't have both enclave and naked work the way we might like. Current thoughts:

• Move flatten to the Location module; it can just be a function.
• Everything needs to return a located value that it can own. Can this be elegant, or is this a chore for the user?
  • Is this compatible with choreographies that return unit?
• remove naked.