Expanding out vectors inside other forms, if we can show that they've got well-defined exit points