Refactor - Simplify use case regarding error
Refactor - Add missing type on trapError
Refactor - Doc - Remove bad docstring
Refactor - Rename variable
Introduce binary operation on Bool (#t, #f), String and Num with only 2
arguments, fails otherwise