List test

We'd like to avoid using the K sorts (K, KItem, KList, etc.) in definitions, because they require more knowledge about K in order to understand them and can lead to subtle errors.  Why did you have to use K instead of BlockStmt above?