Efficient Lookahead Encoding and Abstracted Width for Learning General Policies in Classical Planning