Making/adjusting some type annotations
Code restructuring

Creating the 'lib/adt' and 'lib/enhance' packages; removing BizzleLib; providing nice enhancements; providing an 'Object'-wrapper ADT with useful FP-oriented methods; adapting code to new structure and ADTs