લાવેયાન શેતાનવાદમાં શેતાન, લ્યુસિફર, બેલીઅલ અને લેવિઆથન