Added tests for wrap_in_type_syntax