Constant OK 

pub const OK: FreeBuiltinSchema;

Ok(value: T) -> Result<T, E>.

The error type is the one thing a payload cannot say, so E is settled by the type the call site expects and is unknown when it expects nothing.