Declarative HTML Web-Animation and Simple Machine State written in JS / CSS