If extensibility is a primary concern, it may be worth just putting sigils on all identifiers to make it completely unambiguous. E.g. the LLVM IR representatio

If extensibility is a primary concern, it may be worth just putting sigils on all identifiers to make it completely unambiguous. E.g. the LLVM IR representation takes that route, though admittedly it's not really intended for humans to write.