Adding some lemmae to LibRelation (via Shared).
Adding the “--no_parasite” option to avoid unneed code from the interpreter.