An Analysis/Synthesis Language with Learning Strategies