"A modifier that indicates type inference.
 
 It can only be used on local definitions (not toplevel, not shared), hence the name."
shared abstract class LocalModifier()
        of ValueModifier | FunctionModifier
        extends TypeModifier() {
}