PoW solution type and field in block

[thesz]

Important thing went missing, so it is added here.

[Shimuuar]

There's no need to add Solution data family since it could be folded into b. We discussed this in more details elsewhere