Text this: The Typology of Pesantren's Islamic Thoughts in Java: A Qualitative Study