Make the default case-insensitive

[svenboulanger]

By default, functions are case-sensitive, but the original Spice is case-insensitive. The default should perhaps be case-insensitive.