Formal contexts built; python syntax serialization remaining