Starting formaliziation of RC6. Added a ton of very useful bit operators