Added DO-MODELS, WITH-ACTIONS
Fixed WITH-ACTIONS' implicit symbols and added indent hints