A school-aged child is using an insulin pump for their diabetes. Which of the following insulin types can be used in the pump?