add description about control flows, variable, expression and procedure. But with first 3 items in design rationale unfinished.