types+grammar: discussion of numbers issues, closes #59, closes #67