Generate bodies for bounded and fixed. Two-stage generation of TypeInfo to get around IO issues.