Function user_message 

pub fn user_message(context: &PromptContext, lang: Language) -> String

Build the user message with spec, skeleton, contracts, and test harness.