Make_reduce.Context
type env;
let fuel: int;
let read_unit_shape: unit_name:string => option(t);
let find_shape: env => Ident.t => t;