Notice of new reptiles from the Laramie Formation