Fix #59: Implement correct alpha equivalence