add more missing exports
merged over fully faithful functors and tensors