Patrick Fairbairn: the theological opposition between type and allegory