Add better string representation for instantiated types
Get fib program type checking