In the middle of porting types.h to Types.jl. adding stab function to USI.jl.