Implement 'LEFTOF, 'SUCC, etc.
Fix regression of func1 test
Partially implement array signals
Add a vcode record type