Text this: An Effect System for Algebraic Effects and Handlers