Propagate plicity and docstrings correctly.
Fix syntax clash.