awkure/cpts

wip pure type system on C with an intent of not involving stdlib

C