Converted to new Claim and Reason object types.

Most things work okay.  There are some visual artifacts:
 - ribbons connect to the claims (instead of below)
 - vertically aligned refutation ribbons look a bit wrong

Still to do: multiclaim reasons