aichim

But the changes do make sense, no? There is a clear error with the typedefs and the runtime check for the template arguments to be the same is pretty useless,...