Multi-Stage Imperative Languages: A Conservative Extension Result