Add pending specs for infer_type example

The problem resides in axiom-types refer to bug #2 for details