add definitions for Scott encoding
add reference, rename succ to suc
align expressions