Fix alpha equality checking
More crazy examples
Use `type` for Fib and `Type` for Type.
A bug + debug printing