Add support for bound variables
Add note about reference implementation for P3 exercises