leftish - optimized
rename + property check func
quickcheck tests
name correction
comments