Void type and builder

- Support void (return) type
- More use of the IRBuilder