Refactor Options class, now a Singleton
Refactor DLVFacade
Refactor Constants

Add skeleton of Selector Builder and related options