util: add conversions and three more checks

Still need to implement `toInteger`, and add one more commit where all these are implemented.