Learn Quintus by building simple examples