Expression error handling; some changes to extendProof(), make ExpNode's instance variables public for now, add ExpressionTest