Added fallbacks for @, so that if a reduction isn't possible, it generates an APPLICATION-ABSTRACTION.
Added fallbacks for @, so that if a reduction isn't possible, it generates an APPLICATION-ABSTRACTION.

sellout/Kilns,sellout/Kilns,sellout/Kilns