Fixing hlint errors, adding type signatures
Rewrote ||- to be in the IO Monad and use randomize solution search
Updated the main app to use the monadic variant
Fixed lots of warnings deleted some redundant files
made constraint functions extensible :-D
Removed a debug print