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
remove "remove preincluded rules" for rules in k definitions
fix hybrid in java backend
remove errant rule from k prelude
fix broken tests
fix binder
fix unwanted rules in tcp.k
fix io and uris
addressed dwight's comments
Merge pull request #1227 from dwightguth/remove-preincluded

remove "remove preincluded rules" for rules in k definitions
Merge pull request #1220 from andreistefanescu/master

improved handling of bottom