Add a separate type for the [(Int, String)] list

This is added for better readability, since this is very often used in
declarations.