Update README.md

Author: phipsgabler

README.md

@@ -5,12 +5,13 @@
 [![Coverage Status](https://coveralls.io/repos/github/TuringLang/AbstractPPL.jl/badge.svg?branch=main)](https://coveralls.io/github/TuringLang/AbstractPPL.jl?branch=main)
 [![Codecov](https://codecov.io/gh/TuringLang/AbstractPPL.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/TuringLang/AbstractPPL.jl)
 
-A new light-weight package to factor out interfaces and associated APIs for modelling languages for
+A light-weight package to factor out interfaces and associated APIs for modelling languages for
 probabilistic programming.  High level goals are:
 
-- Definition of an interface of few abstract types and a small set of functions that will be
-supported all model and trace types.
-- Provision of some commonly used functionality and data structures, e.g., for managing variable names and
+- Definition of an interface of few abstract types and a small set of functions that should be
+supported by all [probabilistic programs](./src/abstractprobprog.jl) and [trace
+types](./src/abstractmodeltrace.jl).
+- Provision of some commonly used functionality and data structures, e.g., for managing [variable names](./src/varname.jl) and
   traces.
 
 This should facilitate reuse of functions in modelling languages, to allow end users to handle
@@ -19,6 +20,6 @@ implementations, from very rich, dynamic languages like Turing.jl to highly cons
 simplified models such as GPs, GLMs, or plain log-density problems.
 
 A more short term goal is to start a process of cleanly refactoring and justifying parts of
-AbstractPPL.jl’s design, and hopefully to get on closer terms with Soss.jl.
+DynamicPPL.jl’s design, and hopefully to get on closer terms with Soss.jl.
 
 See [interface draft](interface.md).