[ecma5 defs] Add some missing things from 5.1, fix mistakes