trappean formation