Added a silly 'fromList/toList' rule and made bit set size lazy