Added unconditional loop translation, and possible formats for external procedures and vector operations