Notre Dame’s new roof proposals include a greenhouse design