Merge bnomei branch into main

[rasteiner]

• Adapt tokenizer to allow identifiers containing $
• Map window.panel properties to variables starting with $