The Combinatory Systems Theory