Improving Procedural Skill Explanations via Constrained Generation: A Symbolic-LLM Hybrid Architecture