kernel now supports type annotation