added contents, started linear types