Mechanisms placeable on halfslabs

Don't merge this yet. I don't know if this is okay.
No need for the extra parenthesis level, `A && (B && C)` is the same as `(A && B) && C` and `A && B && C`