Add vector-from-polar procedure.