Fix some bugs, fix remaining passing examples, still need to fix prelude.