add type checking, complete simple math, 23% tests passing