trim imports
Switch from a' ~ Rep a to Rep a ~ a' for easier construction