types+grammar: lots more clarification around numbers, fixing some code formatting, closes #165