Wrote some theory modules. Started on a parser for quick entering with strings