Finishing up quad generation and type checking