changed all constants to 0-ary functions
Merge branch 'basic_modal_logic' of github.com:winobes/modal-logic into basic_modal_logic

Conflicts:
	logic/pred.py