Make extractValue total
Bunch of syntax niceties