Core: fix bug with datatype and inheritance
Logical: add not_
sandbox: remove obsolete dispatch experiment
Type: add lift and remove trait.hpp header