Ignore project files. Updated theory section for closure algorithm and superkeys.