Proposition(name: String, direction: Direction)
General direction proposition. Contains a variable name and a requested direction (increase/up or decrease/down).