types+grammar: clarifying, closes #198