Syntax: better type constraint. fix #84