Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus