Problems passing symbols to abstractions