Use the preprocessor to only import Semigroup when we need to

Use the preprocessor to only import Semigroup when we need to #303