diff --git a/octa/traits.h b/octa/traits.h
index 2332766..b194016 100644
--- a/octa/traits.h
+++ b/octa/traits.h
@@ -21,8 +21,6 @@
 namespace octa {
     /* removers */
 
-    template<typename T> using RemoveReference = internal::RemoveReference<T>;
-
     template<typename T> struct RemoveConst          { typedef T type; };
     template<typename T> struct RemoveConst<const T> { typedef T type; };
 
@@ -181,6 +179,10 @@ namespace octa {
         !IsFundamental<T>::value
     > {};
 
+    /* is pointer to member function */
+
+    template<typename> struct IsMemberFunctionPointer: true_t {};
+
     /* is pointer to member */
 
     template<typename> struct IsMemberPointerBase: false_t {};
@@ -192,6 +194,12 @@ namespace octa {
         typename RemoveConstVolatile<T>::type
     > {};
 
+    /* is pointer to member object */
+
+    template<typename T> struct IsMemberObjectPointer: IntegralConstant<bool,
+        (IsMemberPointer<T>::value && !IsMemberFunctionPointer<T>::value)
+    > {};
+
     /* is reference */
 
     template<typename T> struct IsReference: IntegralConstant<bool,
@@ -230,11 +238,6 @@ namespace octa {
 
     template<typename T> struct IsEmpty: IntegralConstant<bool, __is_empty(T)> {};
 
-    /* is literal type */
-
-    template<typename T>
-    struct IsLiteralType: IntegralConstant<bool, __is_literal_type(T)> {};
-
     /* is POD */
 
     template<typename T> struct IsPOD: IntegralConstant<bool, __is_pod(T)> {};
@@ -259,6 +262,14 @@ namespace octa {
         IsScalar<typename RemoveAllExtents<T>::type>::value
     > {};
 
+    /* is literal type */
+
+    template<typename T>
+    struct IsLiteralType: IntegralConstant<bool,
+        IsReference<typename RemoveAllExtents<T>::type>::value
+     || IsStandardLayout<T>::value
+    > {};
+
     /* is base of */
 
     template<typename B, typename D>
@@ -296,6 +307,24 @@ namespace octa {
     template<typename T, size_t N>
     struct Rank<T[N]>: IntegralConstant<size_t, Rank<T>::value + 1> {};
 
+    /* remove reference */
+
+    template<typename T> using RemoveReference = internal::RemoveReference<T>;
+
+    /* remove pointer */
+
+    template<typename T> struct RemovePointer                     { typedef T type; };
+    template<typename T> struct RemovePointer<T *               > { typedef T type; };
+    template<typename T> struct RemovePointer<T * const         > { typedef T type; };
+    template<typename T> struct RemovePointer<T * volatile      > { typedef T type; };
+    template<typename T> struct RemovePointer<T * const volatile> { typedef T type; };
+
+    /* add pointer */
+
+    template<typename T> struct AddPointer {
+        typedef typename RemoveReference<T>::type *type;
+    };
+
     /* add lvalue reference */
 
     template<typename T> struct AddLvalueReference       { typedef T &type; };
@@ -396,7 +425,6 @@ namespace octa {
 
     /* decay */
 
-#if 0
     template<typename T>
     struct Decay {
     private:
@@ -410,7 +438,6 @@ namespace octa {
             >::type
         >::type type;
     };
-#endif
 }
 
 #endif
\ No newline at end of file
diff --git a/octa/utility.h b/octa/utility.h
index 494e647..a6517b7 100644
--- a/octa/utility.h
+++ b/octa/utility.h
@@ -11,9 +11,9 @@
 namespace octa {
     /* aliased in traits.h later */
     namespace internal {
-        template<typename T> struct RemoveReference      { typedef T type; };
-        template<typename T> struct RemoveReference<T&>  { typedef T type; };
-        template<typename T> struct RemoveReference<T&&> { typedef T type; };
+        template<typename T> struct RemoveReference       { typedef T type; };
+        template<typename T> struct RemoveReference<T &>  { typedef T type; };
+        template<typename T> struct RemoveReference<T &&> { typedef T type; };
 
         template<typename T> struct AddRvalueReference       { typedef T &&type; };
         template<typename T> struct AddRvalueReference<T  &> { typedef T &&type; };