Move non-consensus data types to stdlib; better separate commitments and logic validation

Move non-consensus data types to stdlib; better separate commitments and logic validation #813