Continued to refactor and lift SHA-256 to general-purpose SHA-2 specification.  Everything typechecks now but validation fails.