standard library

[Broes De Cat]

Currently, we have an idpintern.idp and idpintern.lua They contain most, but not all of the "standard" includes in idp.

Two ideas: should we add types like int, float, string and "templated" type predicates, MIN and MAX functions to an explicit vocabulary, so that the user can choose to include it or not?

In that case, idpintern should be renamed to something more logical, because the user will have to include it?

[Broes De Cat]

Or maybe some lua preprocessor can be used to generate it explicitly?

[Broes De Cat]

Removing milestone: Later (automated comment)