[Truffle] Type check on $0
[Truffle] Work on the semantics of $-0 and $/
[Truffle] A few more predefined specs.
[Truffle] Work on capture variables.
[Truffle] Start to tag why the remaining specs fail.