fix type mismatch errors, add demos, change readme