Refactor and add support for ForLoop-nodes [Fixes #1]; Add align for BDD-keywords