A Solver-Aided Hierarchical Language for LLM-Driven CAD Design