diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2023-11-07
+        * Version bump (3.17). (#466)
+        * Compliance with style guide. (#457)
+
 2023-09-07
         * Version bump (3.16.1). (#455)
 
diff --git a/copilot-core.cabal b/copilot-core.cabal
--- a/copilot-core.cabal
+++ b/copilot-core.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             3.16.1
+version:             3.17
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.
diff --git a/src/Copilot/Core/Type.hs b/src/Copilot/Core/Type.hs
--- a/src/Copilot/Core/Type.hs
+++ b/src/Copilot/Core/Type.hs
@@ -23,16 +23,21 @@
     , UType (..)
     , SimpleType (..)
 
+    , typeSize
     , tysize
+    , typeLength
     , tylength
 
     , Value (..)
     , toValues
     , Field (..)
+    , typeName
     , typename
 
     , Struct
+    , fieldName
     , fieldname
+    , accessorName
     , accessorname
     )
   where
@@ -50,11 +55,19 @@
 -- Internal imports
 import Copilot.Core.Type.Array (Array)
 
+{-# DEPRECATED typename "Use typeName instead." #-}
+
 -- | The value of that is a product or struct, defined as a constructor with
 -- several fields.
 class Struct a where
   -- | Returns the name of struct in the target language.
+  typeName :: a -> String
+  typeName = typename
+
+  -- | Returns the name of struct in the target language.
   typename :: a -> String
+  typename = typeName
+
   -- | Transforms all the struct's fields into a list of values.
   toValues :: a -> [Value a]
 
@@ -67,17 +80,29 @@
 data Field (s :: Symbol) t = Field t
 
 -- | Extract the name of a field.
+fieldName :: forall s t . KnownSymbol s => Field s t -> String
+fieldName _ = symbolVal (Proxy :: Proxy s)
+
+{-# DEPRECATED fieldname "Use fieldName instead." #-}
+-- | Extract the name of a field.
 fieldname :: forall s t . KnownSymbol s => Field s t -> String
-fieldname _ = symbolVal (Proxy :: Proxy s)
+fieldname = fieldName
 
 -- | Extract the name of an accessor (a function that returns a field of a
 -- struct).
+accessorName :: forall a s t . (Struct a, KnownSymbol s)
+             => (a -> Field s t) -> String
+accessorName _ = symbolVal (Proxy :: Proxy s)
+
+{-# DEPRECATED accessorname "Use accessorName instead." #-}
+-- | Extract the name of an accessor (a function that returns a field of a
+-- struct).
 accessorname :: forall a s t . (Struct a, KnownSymbol s)
              => (a -> Field s t) -> String
-accessorname _ = symbolVal (Proxy :: Proxy s)
+accessorname = accessorName
 
 instance (KnownSymbol s, Show t) => Show (Field s t) where
-  show f@(Field v) = fieldname f ++ ":" ++ show v
+  show f@(Field v) = fieldName f ++ ":" ++ show v
 
 instance {-# OVERLAPPABLE #-} (Typed t, Struct t) => Show t where
   show t = "<" ++ fields ++ ">"
@@ -109,13 +134,23 @@
   Struct :: (Typed a, Struct a) => a -> Type a
 
 -- | Return the length of an array from its type
+typeLength :: forall n t . KnownNat n => Type (Array n t) -> Int
+typeLength _ = fromIntegral $ natVal (Proxy :: Proxy n)
+
+{-# DEPRECATED tylength "Use typeLength instead." #-}
+-- | Return the length of an array from its type
 tylength :: forall n t . KnownNat n => Type (Array n t) -> Int
-tylength _ = fromIntegral $ natVal (Proxy :: Proxy n)
+tylength = typeLength
 
 -- | Return the total (nested) size of an array from its type
+typeSize :: forall n t . KnownNat n => Type (Array n t) -> Int
+typeSize ty@(Array ty'@(Array _)) = typeLength ty * typeSize ty'
+typeSize ty@(Array _            ) = typeLength ty
+
+{-# DEPRECATED tysize "Use typeSize instead." #-}
+-- | Return the total (nested) size of an array from its type
 tysize :: forall n t . KnownNat n => Type (Array n t) -> Int
-tysize ty@(Array ty'@(Array _)) = tylength ty * tysize ty'
-tysize ty@(Array _            ) = tylength ty
+tysize = typeSize
 
 instance TestEquality Type where
   testEquality Bool   Bool   = Just DE.Refl
diff --git a/src/Copilot/Core/Type/Array.hs b/src/Copilot/Core/Type/Array.hs
--- a/src/Copilot/Core/Type/Array.hs
+++ b/src/Copilot/Core/Type/Array.hs
@@ -13,6 +13,7 @@
 module Copilot.Core.Type.Array
     ( Array
     , array
+    , arrayElems
     , arrayelems
     )
   where
@@ -39,6 +40,11 @@
     errmsg = "Length of data (" ++ show datalen ++
              ") does not match length of type (" ++ show typelen ++ ")."
 
+-- | Return the elements of an array.
+arrayElems :: Array n a -> [a]
+arrayElems (Array xs) = xs
+
+{-# DEPRECATED arrayelems "Use ArrayElems instead." #-}
 -- | Return the elemts of an array.
 arrayelems :: Array n a -> [a]
-arrayelems (Array xs) = xs
+arrayelems = arrayElems
diff --git a/tests/Test/Copilot/Core/Type/Array.hs b/tests/Test/Copilot/Core/Type/Array.hs
--- a/tests/Test/Copilot/Core/Type/Array.hs
+++ b/tests/Test/Copilot/Core/Type/Array.hs
@@ -13,7 +13,7 @@
                                              vectorOf)
 
 -- Internal imports: library modules being tested
-import Copilot.Core.Type.Array (Array, array, arrayelems)
+import Copilot.Core.Type.Array (Array, array, arrayElems)
 
 -- | All unit tests for copilot-core:Copilot.Core.Array.
 tests :: Test.Framework.Test
@@ -30,13 +30,13 @@
 -- * Individual tests
 
 -- | Test that building an array from a list and extracting the elements with
--- the function 'arrayelems' will result in the same list.
+-- the function 'arrayElems' will result in the same list.
 testArrayElemsLeft :: forall n . KnownNat n => Proxy n -> Property
 testArrayElemsLeft len =
     forAll xsInt64 $ \ls ->
       let array' :: Array n Int64
           array' = array ls
-      in arrayelems array' == ls
+      in arrayElems array' == ls
 
   where