Faster Conversion to Normal Forms

@asmeurer We should consider calling this instead of is_literal. Ofcourse this code could simply be added to is_literal but I fail to see the point of having it under inference. Also, suggestions for a better name are welcome.