additional constraints to make raaz work with criterion
Specialized ptr utils
Added Digestible class
Initial Auth design
Added documentation for primitive operations