Fixed some imports, some style stuff.
Updated FunctionNode's __eq__ to handle BV's. Not tested thoroughly.