Precisely imposing symbolic structures onto Deep Learning systems