replaced fragile parse.body with parse.text()
added photo album example
added support for scope and made the scope of sigs maximal to ensure generated relations do not contain atoms that are not in the sig set
added an operation to remove photos
make an exception for tuples that contain only state0 to avoid creating empty tuples
added ints to solver instance to enable finding solutions to predicates that contain integers