Fix const-correctness
Use individual make targets for each component
Implement locked variables and assumption CLI