Comments with clarification

src/Analysis/Unification.hs

@@ -123,6 +123,8 @@ instance Monoid (Substitution meta a) where
 substitutes :: Pattern a -> Pattern a -> Substitution Pattern a
 substitutes p x = Substitution $ return $ x `mapsTo` p
 
+
+-- Subsitution helpers
 substituteName :: Show a => X -> Term a -> (Term a -> Term a)
 substituteName x t v = -- computes t[v/x]
   case t of

src/Semantics/PartialEvaluator.hs

@@ -56,7 +56,7 @@ partial ns (Let p t1 t2 a) =
          NoMatch   -> error $ "Couldn't unify '" ++ show p ++
                               "' against '" ++ show t1 ++ "'."
        else return $ Let p' t1' t2 a
--- Specialise named function
+-- Specialise named function (denoted by a variable name)
 partial ns (Application t1@(Pattern (Variable x _)) t2 a) =
   do t2' <- partial ns t2
      env <- ask