typing judgement
literal judgements
literals are gestures, not atoms
filling in primitive api
typo
sept 16