-The general design of the prototype (A frontend that desugares into a
-small, but functional and typed language, a transformation
-system that works on this small language, and a simple backend) has
-worked well and should probably be preserved. Especially the
-transformation based normalization system is suitable. It is easy to
-program a transformation in the prototype, though it is not trivial to
-maintain enough overview to guarantee that the system is correct and
-complete. In fact, the current set of transformations is probably not
-complete yet, in particular when stateful descriptions are involved.
-However, the system can be (and has been) described in a mathematical
-sense, allowing us to reason about it and probably also prove various
-correctness properties in the future.
+The prototype compiler has a clear design. Its front-end is taken from the \GHC\
+compiler and desugars Haskell into a small, but functional and typed
+language, called \emph{Core}. Cλash adds a transformation system that reduces
+this small language to a normal form and a simple back-end that performs a
+direct translation to \VHDL. This approach has worked well and should probably
+be preserved. Especially the transformation based normalization system is
+suitable. It is easy to implement a transformation in the prototype, though it
+is not trivial to maintain enough overview to guarantee that the system is
+correct and complete. In fact, the current set of transformations is probably
+not complete yet, in particular when stateful descriptions are involved.
+However, the system can be (and has been) described in a mathematical sense,
+allowing us to reason about it and probably also prove various correctness
+properties in the future.