Formalized the support for input types