fixed a bug with deducing the type of a binary relation
fixed a problem with type deducing constructors in annotations