Add note about bidirectional type checking.
Clean up a bit.