fails:Kernel#type needs to be reviewed for spec completeness
