added tests for formals; currently crashing currying