started syntax of cryptol