added file line number to error messages on proofs, added an interactive checker, fixed a bug concerning a calculation without steps
added short term goals