diff --git a/Egison.hs b/Egison.hs
--- a/Egison.hs
+++ b/Egison.hs
@@ -10,7 +10,7 @@
 import IO hiding (try)
 
 welcomeMsg :: String
-welcomeMsg = "Egison, version 1.0 : http://hagi.is.s.u-tokyo.ac.jp/~egi/egison/\nWelcome to Egison Interpreter!\n"
+welcomeMsg = "Egison, version 1.0.1 : http://hagi.is.s.u-tokyo.ac.jp/~egi/egison/\nWelcome to Egison Interpreter!\n"
 
 byebyeMsg :: String
 byebyeMsg = "\nLeaving Egison.\nByebye. See you again! (^^)/\n"
@@ -506,10 +506,10 @@
 braces = P.braces lexer
 
 headSymbol :: Parser Char
-headSymbol = oneOf "+-*/="
+headSymbol = oneOf "+-*/=:"
 
 restSymbol :: Parser Char
-restSymbol = oneOf "!?+-*/="
+restSymbol = oneOf "!?+-*/=:"
 
 word :: Parser String
 word = do first <- (letter <|> headSymbol)
diff --git a/egison.cabal b/egison.cabal
--- a/egison.cabal
+++ b/egison.cabal
@@ -7,7 +7,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             1.0
+Version:             1.0.1
 
 -- A short (one-line) description of the package.
 Synopsis:            An Interpreter for the Programming Language Egison
diff --git a/etc/sample/collection-test.egi b/etc/sample/collection-test.egi
--- a/etc/sample/collection-test.egi
+++ b/etc/sample/collection-test.egi
@@ -1,8 +1,3 @@
-(load "./etc/lib/base.egi")
-(load "./etc/lib/number.egi")
-(load "./etc/lib/collection.egi")
-(load "./etc/lib/poker-hands.egi")
-
 (test (match-all {{1 2 3} {11} {21 22}} (List (Multiset Integer))
         [<cons <cons $x _>
           <cons <cons $y _>
@@ -187,15 +182,3 @@
        [_ <ko>]})))
 
 (test (isStraight? {1 2}))
-
-
-(define andAnd
-  (lambda ($c)
-    (match c Circuit
-      {[<cons <and-gate $a $r1>
-         <cons <and-gate $b <cons $a $r2>>
-          $rr>>
-        <cons <and-gate a r1>
-          <cons <and-gate b (union r1 r2)>
-           rr>>]
-       [_ c]})))
diff --git a/etc/sample/io-test.egi b/etc/sample/io-test.egi
--- a/etc/sample/io-test.egi
+++ b/etc/sample/io-test.egi
@@ -12,15 +12,4 @@
          [$: (write-char : '\n')]}
       :)))
 
-(define $main
-  (lambda [$:]
-    (do {[$: (memorize : 10 20)]
-         [$: (memorize : [0 20] 30)]
-         [$: (memorize : <test 0 20> 40)]
-         [$: (memorize : {0 20 10} 40)]
-         [$: (memorize : "abc" 40)]
-         [$: (memorize : [0 20] 60)]
-         [[$: $n] (remember : {0 20 10})]
-         [$: (write : n)]
-         [$: (write-char : '\n')]}
-      :)))
+(execute)
diff --git a/etc/sample/number-test.egi b/etc/sample/number-test.egi
--- a/etc/sample/number-test.egi
+++ b/etc/sample/number-test.egi
@@ -1,7 +1,3 @@
-(load "./etc/lib/base.egi")
-(load "./etc/lib/number.egi")
-(load "./etc/lib/collection.egi")
-
 (define $fib
   (lambda [$n]
     (match n Nat