Formatting changes
Remove GADTs requirement, strictify Field