Display list of possible constructors to introduce#170

4e554c4c merged 1 commit intoagda:masteragda/cornelis:masterfrom

phijor:fix-intro-constructor-unknownphijor/cornelis:fix-intro-constructor-unknownCopy head branch name to clipboard