added slice types and musts
added template for code gen