basic examples of http://tutor.rascal-mpl.org/Recipes/Basic/Basic.html