Re-introduce implicit conversion for ASTVector to Seq