Quantors and an if-statement for Metamorph

Added an if-statement and three quantor-statements to Metamorph. These new statements allow to write more conditional transformations in a more expressive way than combine allows