Remove dev comments
Move out Godel declaration, update spec to use logican examples