Abbreviations for begin,module,case,rule