લાવેયાન શેતાનવાદ, થિસીસ્ટિક શેતાનવાદ, અને લ્યુસિફરિયનવાદ