Function shorthand tests

Added test-checks-equal? test macro and wrote tests for
function-shorthands. Also renamed test-preds to test-checks-pred for
consistency