No longer any need to explicitly load module interface in 'toCore'