Moved some functions to "utils.rkt".
Removed unused functions.
Initial interpretation of precision codes.
Replaced 'lambda' with 'λ' everywhere and reindent.