Combining Uni cation and Built-In Constraints ( Extended Abstract )