.bio format

[xhajnal]

I suggest some small tweaks in format:

assigning values (in definition): "=" instead of ","
Example:

- CONSTS: k1,1
+ CONSTS: k1=1

(where k1 is some constant and 1 is its value)

[xhajnal]

interval: ":" instead of ","
Example:

- 0,1
+ 0:1
or 
+ (0,1)

(where 0 represents starting point and 1 represents ending point of interval)

[daemontus]

I would suggest a complete format overhaul with the following structure:
COSNT/VAR/... keywords are removed in favour of a more declarative approach, similar to the ctl format:

k = 1.2 //constant declaration
p = param(1.0, 2.1) //parameter declared using an interval
x = var(1.0, 2.5, 3.5, 4.0) //variable declared as a list of thresholds
d(x) = equation //variable equation 

Regarding the var_points/abstraction setting, I would suggest completely removing it from the format and instead used the proposed approach where only the desired numerical error is given (f.e. 0.002) and the number of thresholds is autogenerated based on that.