Functional paradigms naming and behaviors

Implement Comparable(T) to Maybe monad and remove redundant #== method.

=> #5
=> #14

Multiples methods reimplementations.
Create Monad(T) and Fonctor(T)

=> #6
=> #16
=> #19
=> #20
=> #23
=> #24
=> #27
=> #28
=> #29
=> #30
=> #31
=> #32

Use structs instead of classes

=> #9
=> #22

Rename Result to Either

=> #10

Add #inspect for Maybe monads and Either

=> #11
=> #12
=> #13

Add a CI

=> #15
=> #17
=> #18

Fix Block type introspection by using a proc

=> #25