added test for double-lifting pattern
extracted generic membrane implementation from revocable membrane code
added initial ideas on how to express boundaries using membranes