improved handling of bottom
replaced bottom instances for different kinds with one bottom instance
fixed issue with partial evaluation infinite recursion
added regression test
addressed yilong's comments
addressed yilong's comments
fixed copyright
addressed dwight's comments
Merge pull request #1220 from andreistefanescu/master

improved handling of bottom