Minor non-normative spec-text tweaks.

- Use ES operations `IsObject` and `IsCallable`.
- Move `CallHandler` downward to match the top-down style of the rest of the spec.
Add an implementation that follows the spec to the letter.

Test it with the Promises/A+ tests. Currently, a number of failures that seem like true errors (not just missing thenable support).