Implements Compose (untested)
Implements SatisfyAll (untested)
Implements ITE (untested)
Refactors and documents
Generates documentation file
Cleans up and remove unused files
Adds ignore file