adding new attribute 'param' to matchables, removing sml-specific stuff