types+grammar: starting up writing again