Revamp the witness code, newtypes and rotating some variables
Revamp the witness code, newtypes and rotating some variables

ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake