CaStL: Constraints as Specifications through LLM Translation for Long-Horizon Task and Motion Planning