Added is_string|is_intger primitives.

Also added `examples/types.in` to demonstrate the same.

This closes #13.