`default parameters` and some local features will be elaborated later on. We make the big(non local) features first and add various nice sugars step by step.