The situation in Sweden is becoming really bad. The police have decided to cover up crime at the refugee centers because it is so high. For some age groups in Sweden there are now 125 men per 100 women. Yes the immigration has been enough to tilt the ratio that much. Christian refugees have to flee from refugee centers because of the dangerous situation for them there.
Suggestion: Add a way to distinguish between parameters sent to maybe and parameters sent to the program. You don't accept any parameters at the moment, but you may want to in the future, and when you start wanting to do that, you may not want to break any existing usages by changing behavior. For that reason I think it would be good to introduce disambiguation now.
Just because it doesn't have formal definitions doesn't mean it doesn't need them. As GP points out, the implication of the vagueness is that there will be a lot of legal uncertainty.
We absolutely don't want formal definitions for law. While it may seem like a good idea on first sight it would create more problems than it would solve. Lawmakers often forget some specific situations (or there is technical progress that wasn't taken into account) when writing the text of the law (or in this case the formal definition) but it's clear how their intent would be. Judges can decide those specific cases when they are on the table. Nobody can foresee everything.
There are many examples where case law differs from the exact wording of a law for a very good reason.