Stricter type check for cover assignments (in the case of templates) + test cases