Fix type in use of ignore-errors.
Insert some validation code for value of :prologue-code argument of builder facility.