Add type aliases for better documentation at the type level