some matchable and sml fixes, starting on sml default methods