Allow attaching user-defined data to SAT variables

Also, added a quick way to set all remaining variables to False.