add initial greedy spec
Merge branch 'master' into greedy
get rid of UnconsumedInputError
Merge branch 'greedy'