diff --git a/.DS_Store b/.DS_Store
Binary files a/.DS_Store and b/.DS_Store differ
diff --git a/liquidhaskell-0.8.6.2.tar.gz b/liquidhaskell-0.8.6.2.tar.gz
new file mode 100644
Binary files /dev/null and b/liquidhaskell-0.8.6.2.tar.gz differ
diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
--- a/liquidhaskell.cabal
+++ b/liquidhaskell.cabal
@@ -1,5 +1,5 @@
 name:               liquidhaskell
-version:            0.8.6.0
+version:            0.8.6.2
 synopsis:           Liquid Types for Haskell
 description:        Liquid Types for Haskell.
 license:            BSD3
@@ -208,8 +208,6 @@
   default-extensions: PatternGuards
   ghc-options:        -W -threaded -fdefer-typed-holes
 
-  if flag(devel)
-    ghc-options: -Werror
 
 executable gradual
   main-is:          src/Gradual.hs
@@ -222,8 +220,6 @@
   buildable:        False
   ghc-options:      -W -threaded
 
-  if flag(devel)
-    ghc-options: -Werror
 
 executable target
   main-is:          src/Target.hs
diff --git a/syntax/.DS_Store b/syntax/.DS_Store
new file mode 100644
Binary files /dev/null and b/syntax/.DS_Store differ
diff --git a/syntax/._.DS_Store b/syntax/._.DS_Store
new file mode 100644
Binary files /dev/null and b/syntax/._.DS_Store differ
diff --git a/syntax/hsannot.css b/syntax/hsannot.css
new file mode 100644
--- /dev/null
+++ b/syntax/hsannot.css
@@ -0,0 +1,51 @@
+
+.hs-keyglyph, .hs-layout {color: red;}
+.hs-keyword {color: blue;}
+.hs-comment, .hs-comment a {color: green;}
+.hs-str, .hs-chr {color: teal;}
+.hs-keyword,.hs-conid, .hs-varid, .hs-conop, .hs-varop, .hs-num, .hs-cpp, .hs-sel, .hs-definition {}
+
+/*
+a.annot{
+    position:relative; 
+    color:#000;
+    text-decoration:none
+  }
+
+a.annot:hover{z-index:25; background-color:#ff0}
+
+a.annot span{display: none}
+
+a.annot:hover span{ 
+    display:block;
+    position:absolute;
+    top:2em; 
+    left:2em; 
+    border:5px solid #b4eeb4; 
+    background-color: #b4eeb4;
+    color:#000;
+    text-align: left 
+  }
+*/
+
+.annot{
+    position:relative; 
+    color:#000;
+    text-decoration:none
+  }
+
+.annot:hover{z-index:25; background-color:#ff0}
+
+.anntitle {display: none}
+
+.annot:hover span{ /*the span will display just on :hover state*/
+    display:block;
+    position:absolute;
+    top:2em; 
+    left:2em; 
+    border:5px solid #b4eeb4; 
+    background-color: #b4eeb4;
+    color:#000;
+    text-align: left 
+  }
+
diff --git a/syntax/hscolour.css b/syntax/hscolour.css
new file mode 100644
--- /dev/null
+++ b/syntax/hscolour.css
@@ -0,0 +1,46 @@
+.hs-keyglyph, .hs-layout {color: red;}
+.hs-keyword {color: blue;}
+.hs-comment, .hs-comment a {color: green;}
+.hs-str, .hs-chr {color: teal;}
+.hs-keyword,.hs-conid, .hs-varid, .hs-conop, .hs-varop, .hs-num, .hs-cpp, .hs-sel, .hs-definition {}
+
+a.annot{
+    position:relative; 
+    color:#000;
+    text-decoration:none
+  }
+
+a.annot:hover{z-index:25; background-color:#ff0}
+
+a.annot span.annottext{display: none}
+
+a.annot:hover span.annottext{ 
+  border-radius: 5px 5px;
+  
+  -moz-border-radius: 5px; 
+  -webkit-border-radius: 5px; 
+  
+  box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); 
+  -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);
+  -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); 
+
+  display:block;
+  position: absolute; 
+  left: 1em; top: 2em; 
+  z-index: 99;
+  margin-left: 5; 
+  background: #FFFFAA; 
+  border: 2px solid #FFAD33;
+  padding: 0.8em 1em;
+}
+
+/* 
+.classic { padding: 0.8em 1em; }
+.custom { padding: 0.5em 0.8em 0.8em 2em; }
+* html a:hover { background: transparent; }
+.classic {background: #FFFFAA; border: 1px solid #FFAD33; }
+.critical { background: #FFCCAA; border: 1px solid #FF3334;	}
+.help { background: #9FDAEE; border: 1px solid #2BB0D7;	}
+.info { background: #9FDAEE; border: 1px solid #2BB0D7;	}
+.warning { background: #FFFFAA; border: 1px solid #FFAD33; }
+*/
diff --git a/syntax/liquid.css b/syntax/liquid.css
new file mode 100644
--- /dev/null
+++ b/syntax/liquid.css
@@ -0,0 +1,105 @@
+.hs-linenum {
+  color: #B2B2B2; 
+  font-style: italic;
+}
+
+.hs-error {
+  background-color: #FF8585 ;
+}
+
+.hs-keyglyph {
+  color: #007020
+}
+
+.hs-keyword {
+  color: #007020;
+  // font-weight: bold;
+}
+
+.hs-comment, .hs-comment a {color: green;}
+
+.hs-str, .hs-chr {color: teal;}
+
+.hs-conid { 
+  color: #902000;   /* color: #00FFFF; color: #0E84B5; */
+  //font-weight: bold;  
+}
+
+.hs-definition { 
+  color: #06287E 
+  /* font-weight: bold; */ 
+}
+
+.hs-varid, .hs-varop, .hs-layout {
+  color: black; 
+}
+
+.hs-num {
+  color: #40A070;
+}
+
+.hs-conop {
+  color: #902000; 
+}
+
+.hs-cpp {
+  color: orange;
+}
+
+.hs-sel  {}
+
+a.annot {
+  position:relative; 
+  color:#000;
+  text-decoration:none; 
+  white-space: pre; 
+}
+
+a.annot:hover { 
+  z-index:25; 
+  background-color: #D8D8D8;
+}
+
+a.annot span.annottext{display: none}
+
+a.annot:hover span.annottext{ 
+  
+  border-radius: 5px 5px;
+  
+  -moz-border-radius: 5px; 
+  -webkit-border-radius: 5px; 
+  
+  box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); 
+  -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);
+  -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); 
+
+  white-space:pre;
+  display:block;
+  position: absolute; 
+  left: 1em; top: 2em; 
+  z-index: 99;
+  margin-left: 5; 
+  background: #FFFFAA; 
+  border: 3px solid #FFAD33;
+  padding: 0.8em 1em;
+}
+
+code {
+   /* font-weight: bold; */
+   background-color: rgb(250, 250, 250); 
+   border: 1px solid rgb(200, 200, 200);
+   padding-left: 4px;
+   padding-right: 4px;
+}
+
+pre {
+  background-color: #f0f0f0;
+  border-top: 1px solid #ccc;
+  border-bottom: 1px solid #ccc;
+  padding: 5px;
+  // font-size: 120%;
+  // font-family: Bitstream Vera Sans Mono,monospace;
+  display: block;
+  overflow: visible;
+}
+
diff --git a/syntax/liquidBody.css b/syntax/liquidBody.css
new file mode 100644
--- /dev/null
+++ b/syntax/liquidBody.css
@@ -0,0 +1,145 @@
+html {
+    font-family: "helvetica";
+}
+
+code {
+   /* font-weight: bold; */
+   background-color: rgb(250, 250, 250); 
+   border: 1px solid rgb(200, 200, 200);
+   padding-left: 4px;
+   padding-right: 4px;
+}
+
+/* pygments */
+
+pre {
+	background-color: #f0f0f0;
+	border-top: 1px solid #ccc;
+	border-bottom: 1px solid #ccc;
+	padding: 5px;
+	font-size: 13px;
+	font-family: Bitstream Vera Sans Mono,monospace;
+}
+
+/********************** Links **************************************/
+
+a:hover { 
+  color: black; /* #1d4c77; */
+  /* text-decoration:underline */
+}
+
+
+/********************** General Divs ********************************/
+
+div#navigation {
+    text-align: center;
+    border-bottom: 4px solid black;
+}
+
+div#navigation a {
+    color: white;
+    text-decoration: none;
+    background-color: black;
+    padding: 3px 10px 3px 10px;
+    margin: 0px 10px 0px 10px;
+}
+
+body {
+    width: 700px;
+    /* width: 900px; */
+    margin: 0px auto 0px auto;
+}
+
+div#header {
+    height: 32px;
+    padding: 20px 0px 20px 60px;
+}
+
+div#header img {
+    display: inline;
+    vertical-align: middle;
+}
+
+div#header h1 {
+    padding-left: 10px;
+    display: inline;
+    text-transform: uppercase;
+    vertical-align: middle;
+}
+
+div#main {
+    margin: 0px auto 0px auto;
+    width: 760px;
+}
+
+div#sidebar {
+    margin-right: 30px;
+    width: 160px;
+    float: left;
+    text-align: right;
+}
+
+div#sidebar a {
+    display: block;
+    font-size: 110%;
+    text-decoration: none;
+    margin-bottom: 10px;
+    text-transform: uppercase;
+}
+
+div#content {
+    width: 570px;
+    float: right;
+}
+
+div#footer {
+    padding-top: 30px;
+    clear: both;
+    font-size: 90%;
+    text-align: center;
+}
+
+
+h2 {
+    font-size: 120%;
+    text-transform: uppercase;
+}
+
+h3 {
+    font-size: 100%;
+    text-transform: uppercase;
+}
+
+div.column {
+    width: 50%;
+    float: left;
+}
+
+div.column p {
+    padding-right: 15px;
+}
+
+img {
+    display: block;
+    margin: 10px auto 10px auto;
+    border: none;
+}
+
+ul {
+    list-style-type: square;
+    padding-left: 1em;
+    margin-left: 1em;
+}
+
+
+
+p.caption {
+    display: none;
+}
+
+img {
+  border:0px;
+  margin-left:auto;
+  margin-right:auto;
+  display:block
+}
diff --git a/syntax/liquid_dark_blog.css b/syntax/liquid_dark_blog.css
new file mode 100644
--- /dev/null
+++ b/syntax/liquid_dark_blog.css
@@ -0,0 +1,101 @@
+.hs-linenum {
+  color: #666666; //CCCCCC;
+  font-style: italic;
+}
+
+.hs-error {
+  background-color: #B80000 ;
+}
+
+.hs-keyglyph, .hs-layout { /* color: red; */ 
+  color: white;
+}
+
+.hs-keyword {
+  color: #75D075 ; 
+  //font-weight: bold;
+}
+
+.hs-comment, .hs-comment a {color: green;}
+
+.hs-str, .hs-chr {color: #7FFFD4;}
+
+.hs-conid { 
+  color: #00FFFF; 
+  //font-weight: bold; 
+}
+
+.hs-definition { 
+  color: #FFFFFF;   /* #ADFF2F; */
+  // font-weight: bold; 
+}
+
+.hs-varid, .hs-varop {
+  color: white; /* #BDDEFF; */
+}
+
+.hs-num, .hs-conop {
+  color: aquamarine;
+}
+
+.hs-cpp {
+  color: orange;
+}
+
+.hs-sel  {}
+
+a.annot {
+  position:relative; 
+  color:#000;
+  text-decoration:none;
+  white-space: pre; 
+}
+
+// a.annot:hover { 
+//   z-index:25; 
+//   background-color:#585858;
+//   /* background-color:#ff0  */
+// }
+
+a.annot span.annottext{display: none}
+
+a.annot:hover span.annottext{ 
+  
+  border-radius: 5px 5px;
+  -moz-border-radius: 5px; 
+  -webkit-border-radius: 5px; 
+  box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); 
+  -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);
+  -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); 
+
+  white-space:pre ;
+  display:block;
+  position: absolute; 
+  left: 1em; top: 2em; 
+  z-index: 9999;
+  margin-left: 5; 
+  padding: 0.8em 1em;
+  border: 3px solid #6495ED ; // #5F9EA0; #FFAD33;
+  background: #EBF5FF; // #C3F6FA  #F7F8FD  #C1CDCD #FFFFAA; 
+}
+
+code {
+   /* font-weight: bold; */
+   background-color: rgb(250, 250, 250); 
+   border: 1px solid rgb(200, 200, 200);
+   padding-left: 4px;
+   padding-right: 4px;
+}
+
+pre {
+  border-radius: 5px 5px;
+  // font-family: Bitstream Vera Sans Mono,monospace;
+  font-size: 100%;
+  // color: rgb(255, 255, 255);
+  // background-color: rgb(0, 0, 0);
+  // margin-bottom: 2em;
+  padding: 8px;
+  display: block;
+  overflow: visible; 
+}
+
diff --git a/syntax/liquid_light_blog.css b/syntax/liquid_light_blog.css
new file mode 100644
--- /dev/null
+++ b/syntax/liquid_light_blog.css
@@ -0,0 +1,106 @@
+.hs-linenum {
+  color: #CCCCCC;
+  font-style: italic;
+}
+
+
+.hs-error {
+  background-color: #FF8585 ;
+}
+
+.hs-keyglyph {
+  color: #007020
+}
+
+.hs-keyword {
+  color: #007020;
+  // font-weight: bold;
+}
+
+.hs-comment, .hs-comment a {color: green;}
+
+.hs-str, .hs-chr {color: teal;}
+
+.hs-conid { 
+  color: #902000;   /* color: #00FFFF; color: #0E84B5; */
+  //font-weight: bold;  
+}
+
+.hs-definition { 
+  color: #06287E 
+  /* font-weight: bold; */ 
+}
+
+.hs-varid, .hs-varop, .hs-layout {
+  color: black; 
+}
+
+.hs-num {
+  color: #40A070;
+}
+
+.hs-conop {
+  color: #902000; 
+}
+
+.hs-cpp {
+  color: orange;
+}
+
+.hs-sel  {}
+
+a.annot {
+  position:relative; 
+  color:#000;
+  text-decoration:none; 
+  white-space: pre; 
+}
+
+a.annot:hover { 
+  z-index:25; 
+  background-color: #D8D8D8;
+}
+
+a.annot span.annottext{display: none}
+
+a.annot:hover span.annottext{ 
+  
+  border-radius: 5px 5px;
+  
+  -moz-border-radius: 5px; 
+  -webkit-border-radius: 5px; 
+  
+  box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); 
+  -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);
+  -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); 
+
+  white-space:pre;
+  display:block;
+  position: absolute; 
+  left: 1em; top: 2em; 
+  z-index: 99;
+  margin-left: 5; 
+  background: #FFFFAA; 
+  border: 3px solid #FFAD33;
+  padding: 0.8em 1em;
+}
+
+code {
+   /* font-weight: bold; */
+   background-color: rgb(250, 250, 250); 
+   border: 1px solid rgb(200, 200, 200);
+   padding-left: 4px;
+   padding-right: 4px;
+}
+
+pre {
+  background-color: #f0f0f0;
+  border-top: 1px solid #ccc;
+  border-bottom: 1px solid #ccc;
+  padding: 5px;
+  font-size: 120%;
+  // font-family: Bitstream Vera Sans Mono,monospace;
+  display: block;
+  overflow: visible;
+}
+