Solving issues like scijava/scijava#146 and acting on scijava/scijava#36 requires us to gain some insight about the forms of types and to coalesce structurally equivalent Ops, and there's a lot of overlap with the simplification framework. Unfortunately, the simplified Ops and types are hidden within the simplification framework.

This PR partitions SimplifiedOpInfo into two separate OpInfo implementations:

• SimplifiedOpInfos consist of an OpInfo along with focus Ops to focus the inputs and a simplify Op to simplify the output. For example, if the original OpInfo is Double output = foo.bar(Double d1, Double d2), the simplified OpInfo might be Number output = foo.bar(Number d1, Number d2).
• FocusedOpInfo takes a SimplifiedOpInfo along with simplify Ops to simplify the inputs to the simple type and focus Ops to focus the output from the simple type. To continue the above example, a focused OpInfo might be Integer output = foo.bar(Integer d1, Integer d2).

Note that this PR is built atop of #94, to make use of the new Ops utility class.