Constraints are magic completely handled by the compiler, and right now you can write foreign imports which depend on their representation. This is very brittle, and hinders a compilers ability to optimize their representation in anyway. It's much safer to take implementations explicitly. Should we eliminate constraint syntax from the foreign import grammar?