Allow docstrings and prototypes for overloaded predicates
Convert op_value_cst from maybe to once
Add some docstrings, improve output a bit