Added ?: type propagation test

Added tgmath example (incomplete/waiting for float parsing)