Draft of specs for xorify
Refactoring :+1: