edit todo
refactoring: PapillonCore.hs use Variables