WIP: a refactoring to systematize unicorn initialization
WIP: Moved responsibility for defining capabilities into unicornlib
Simplified unicorn creation
Refactored the horn construction into UnicornLib.Util