Update Cargo.lock (docopt)
Move stlc to separate module
Simply stlc sym for now
Further reduce amount of boxing