ClInline :: Id -> Clause  -- data constructor