Examples of Stan models as I play with the software