Implicit State and Goals in QBF Encodings for Positional Games (extended version)