types+grammar: lots more ch1 stuff