Minor effects changes (locally, search depth)
Remove type class argument restriction in parser