diff --git a/include/rexy/string_base.hpp b/include/rexy/string_base.hpp
index ba4f028..dd11dc4 100644
--- a/include/rexy/string_base.hpp
+++ b/include/rexy/string_base.hpp
@@ -405,6 +405,9 @@ namespace rexy{
 
 		REXY_CPP20_CONSTEXPR pointer release(void)noexcept(noexcept(this->allocate(0)));
 		using detail::hasallocator<Allocator>::allocator;
+
+		constexpr basic_string_view<value_type> create_view(void)const noexcept;
+		constexpr basic_string_view<value_type> create_view(const_iterator start, const_iterator fin)const noexcept;
 	};
 
 	//Like an expression template but not really
@@ -592,11 +595,11 @@ namespace rexy{
 	#define HAS_MEMFUN_WITH_RET(type, ret, fun, ...) \
 		template<class T> \
 		struct has_##fun##_f{ \
-			std::false_type check(...); \
+			static std::false_type check(...); \
 			template<class type> \
-			auto check(type* u) -> std::enable_if<std::is_convertible_v<std::declval<type>().fun(__VA_ARGS__),ret>,std::true_type>; \
+			static auto check(type* u) -> std::enable_if_t<std::is_convertible_v<decltype(std::declval<type>().fun(__VA_ARGS__)),ret>,std::true_type>; \
 	 \
-			static constexpr bool value = decltype(check(std::declval<T*>()))::value; \
+			static constexpr bool value = decltype(check(std::declval<std::remove_reference_t<T>*>()))::value; \
 		}; \
 		template<class T> \
 		static constexpr bool has_##fun##_f_v = has_##fun##_f<T>::value
@@ -604,11 +607,11 @@ namespace rexy{
 	#define HAS_MEMOP_WITH_RET(type, ret, opname, op, ...) \
 		template<class T> \
 		struct has_##opname##_f{ \
-			std::false_type check(...); \
+			static std::false_type check(...); \
 			template<class type> \
-			auto check(type* u) -> std::enable_if<std::is_convertible_v<std::declval<type>().operator op(__VA_ARGS__),ret>,std::true_type>; \
+			static auto check(type* u) -> std::enable_if_t<std::is_convertible_v<decltype(std::declval<type>().operator op(__VA_ARGS__)),ret>,std::true_type>; \
 	 \
-			static constexpr bool value = decltype(check(std::declval<T*>()))::value; \
+			static constexpr bool value = decltype(check(std::declval<std::remove_reference_t<T>*>()))::value; \
 		}; \
 		template<class T> \
 		static constexpr bool has_##opname##_f_v = has_##opname##_f<T>::value
@@ -629,6 +632,10 @@ namespace rexy{
 	};
 	template<class T>
 	static constexpr bool is_string_v = is_string<T>::value;
+
+	static_assert(is_string_v<basic_string_view<char>>);
+
+
 	template<class... Ts>
 	struct are_strings{
 		static constexpr bool value = (is_string<Ts>::value && ...);
@@ -701,12 +708,14 @@ namespace rexy{
 	{
 		return string_cat_expr(std::forward<Left>(l), std::forward<Right>(r));
 	}
+	//String + char pointer
 	template<class Right, std::enable_if_t<is_string<Right>::value,int> = 0>
 	constexpr auto operator+(typename std::decay_t<Right>::const_pointer left, Right&& right)
 		noexcept(noexcept(::new (nullptr) string_cat_expr(rexy::basic_string_view(left), std::forward<Right>(right))))
 	{
 		return string_cat_expr(rexy::basic_string_view(left), std::forward<Right>(right));
 	}
+	//Char pointer + string
 	template<class Left, std::enable_if_t<is_string<Left>::value,int> = 0>
 	constexpr auto operator+(Left&& left, typename std::decay_t<Left>::const_pointer right)
 		noexcept(noexcept(::new (nullptr) string_cat_expr(std::forward<Left>(left), rexy::basic_string_view(right))))
@@ -720,10 +729,26 @@ namespace rexy{
 	constexpr auto operator+(Left&& left, Right&& right){
 		return string_cat_expr(std::forward<Left>(left), std::forward<Right>(right));
 	}
+	//Expr + string
 	template<class Left, class Right, std::enable_if_t<is_string_expr<Left>::value && is_string<Right>::value,int> = 0>
 	constexpr auto operator+(Left&& left, Right&& right){
 		return string_cat_expr(std::forward<Left>(left), std::forward<Right>(right));
 	}
+	//Expr + expr
+	template<class Left, class Right, std::enable_if_t<are_string_expr<Left,Right>::value,int> = 0>
+	constexpr auto operator+(Left&& left, Right&& right){
+		return string_cat_expr(std::forward<Left>(left), std::forward<Right>(right));
+	}
+	//Expr + char pointer
+	template<class Left, std::enable_if_t<is_string_expr<Left>::value,int> = 0>
+	constexpr auto operator+(Left&& left, typename std::decay_t<Left>::const_pointer right){
+		return string_cat_expr(std::forward<Left>(left), rexy::basic_string_view(right));
+	}
+	//char pointer + Expr
+	template<class Right, std::enable_if_t<is_string_expr<Right>::value,int> = 0>
+	constexpr auto operator+(typename std::decay_t<Right>::const_pointer left, Right&& right){
+		return string_cat_expr(rexy::basic_string_view(left), std::forward<Right>(right));
+	}
 
 	//String concat assignment
 	template<class Left, class Right, std::enable_if_t<are_strings<Left,Right>::value,int> = 0>
diff --git a/include/rexy/string_base.tpp b/include/rexy/string_base.tpp
index 54cbe09..3244873 100644
--- a/include/rexy/string_base.tpp
+++ b/include/rexy/string_base.tpp
@@ -336,6 +336,15 @@ namespace rexy{
 		this->set_short_length(0);
 		return retval;
 	}
+	template<class Char, class Allocator>
+	constexpr auto basic_string<Char,Allocator>::create_view(void)const noexcept -> basic_string_view<value_type>{
+		const auto ptr = this->get_pointer();
+		return basic_string_view<value_type>(ptr, ptr + this->length());
+	}
+	template<class Char, class Allocator>
+	constexpr auto basic_string<Char,Allocator>::create_view(const_iterator start, const_iterator fin)const noexcept -> basic_string_view<value_type>{
+		return basic_string_view<value_type>(start, fin);
+	}
 
 	template<class Char, class Allocator>
 	REXY_CPP20_CONSTEXPR basic_string<Char,Allocator>& basic_string<Char,Allocator>::_copy_string(const_pointer s, size_type len)