add readonly attribute for parameters that don't change. Will make this specifiable by the caller
add metadata for symbols, get these symbols back again from a module
test for const parameters
BML code runs properly and timing code included