Removals for Big Phi + extended logic gates

- Removal option for Big Phi should work. The new mechanisms are
defined in convert_logic_gates_removal
- note that the reentry is still not working correctly
- logic_gates has been extended to incoorporate linear threshold units,
but it's not clear yet if that works