Remove extend and implement TypeInterface.
Force the type of StronglyTypedBag in the constructor.
Fix the type of Bags.
Tests of Extensions.
CS fix.
Review Kernel implementation.