Cleaning, debugging

Tool to enforce variable types according to involving constraints