draft implementation of interpreter for Let
xMerge branch 'bernstein' of github.com:FInAT/FInAT into bernstein