Definitions for CONST
Alternative, more intuitive definitions for ISZERO
Function PRED for computing the predecessor
Save 4, 5 and 6 as variables for testing
Substract function: m − n → (SUBSTRACT n) m
Fix function name in recursive call of fromArray