added interpretation from syntax trees into the Temporal monad