Implement simple type-level natural numbers
Simple linear-algebra functiouns
Representation of linear systems
Basic functions for sytem identification
Add .gitignore