types+grammar: lots more work on explicit vs implicit coercion