Alfa Files

• Lines	Words	Chars	File name
  81	357	3202	ChipModel.alfa
  46	171	1244	FiniteMaps2.alfa
  30	123	882	Memories.alfa
  93	375	2316	Monads.alfa
  51	252	1457	State.alfa
  451	1225	22077	ChipModelProps5.alfa
  752	2503	31178	total

• Reminder: Alfa files are rather verbose, due to a lot of explicit type information