Fixes #12: Puts constraints on binary operations and types