rewritten MOP code to alter transactional slot types: it now directly rewrites (defclass ...) to allow TVARs as one of the allowed slots types instead of trying non-standard tricks at MOP level