simplify language (\hence change the interpreter)
add big step and small step evaluator -- hope it isn't wrong
add small step mlb file
add agda exercise: zipping vector with elem's idx
ignoring agda & idris interface (object) files
add ft16/DirectEval source file for SML/NJ compiler