* optional: check registration of none type and optional type

* core: remove useless include

* core: fix include

---------

Co-authored-by: Justin Carpentier <justin.carpentier@inria.fr>