União estável sob os ângulos da informalidade e da prova