Allow Type trait to be set with an importable string
Fix some assumptions in kernelapp
Add example of a simple kernel