Added pretty printing for effects and symbols