NatSpec comments for smart contracts