Remove defunct +hard and ;; rune about arvo

[belisarius222]

On second thought, the ;; rune's macro expansion should be changed to just call the mold gate, and its first argument should be parsed in pattern mode so we don't need the comma when defining a mold inline. Having a rune for this also helps distinguish the type coercion from a normal function call.

%-  ,[a=@ b=^]
some-raw-noun

would become

;;  [a=@ b=^]
some-raw-noun

[joemfb]

This sounds like a good move.

/cc @pilfer-pandex, this seems like it would be immediately useful.

[pilfer-pandex]

Honestly, I think it would be great if you had to use a different rune to normalize a value to a type. This would allow us subsequently to separate out the notion of type from the notion of normalizing gate.

[pilfer-pandex]

@belisarius222 given the proposed new semantics for ;;, does it really make sense to consider it a ; rune still? Esp in a world where ;; is the only way to normalize, and you can no longer use %- or equivalent.

[ohAitch]

This would allow us subsequently to separate out the notion of type from the notion of normalizing gate.

imo having those notions forcefully entwined to reduce conceptual surface area is one of the like top 10 useful hoon design decisions. (The removal of molds proper strains, but does not break it.)