S-Type Andp-Type Habitability in Stellar Binary Systems: A Comprehensive Approach. I. Method and Applications | Synapse