plai typed update: use plai-typed/untyped to speed things up