Syntax: better type constraint. fix #84
Merge pull request #143 from ocsigen/syntax

Syntax: better type constraint. fix #84