moved types.h to lightning