Remove | annotation, make Force/Delay implicit

Laziness is now fully typed.