Fix integer literal syntax in transpose/size.
Add position information to unknown-variable errors in interpreter.
Print newline between certificates and tuple-SOACs.